Summary
- basic support for x86_64-cygwin;
The file was modified | Admin/PLATFORMS (diff) |
The file was modified | Admin/bash_process/build (diff) |
The file was modified | Admin/components/components.sha1 (diff) |
The file was modified | Admin/components/main (diff) |
The file was modified | Admin/polyml/settings (diff) |
The file was modified | lib/scripts/isabelle-platform (diff) |