Summary
- NEWS;
- x86-cygwin for tools is no longer supported;
- updated to x86_64-cygwin;
- updated to x86_64-cygwin;
- auto update;
- "windows" application is always x86_64;
The file was modified | NEWS (diff) |
The file was modified | Admin/PLATFORMS (diff) |
The file was modified | src/Pure/Admin/build_cygwin.scala (diff) |
The file was modified | Admin/components/bundled-windows (diff) |
The file was modified | Admin/components/components.sha1 (diff) |
The file was modified | Admin/lib/Tools/makedist_bundle (diff) |
The file was modified | Admin/components/components.sha1 (diff) |
The file was modified | Admin/Windows/launch4j/isabelle.xml (diff) |
The file was modified | Admin/lib/Tools/makedist_bundle (diff) |
The file was modified | src/Pure/Admin/build_release.scala (diff) |