Summary
- more uniform platform settings;
The file was modified | Admin/PLATFORMS (diff) |
The file was modified | NEWS (diff) |
The file was modified | lib/scripts/isabelle-platform (diff) |
The file was modified | Admin/PLATFORMS (diff) |
The file was modified | NEWS (diff) |
The file was modified | lib/scripts/isabelle-platform (diff) |