Summary
- merged
- not ready for release;
- updated to cygwin-20170828, which is close to Cygwin 2.8.2-1;
The file was modified | src/Pure/System/isabelle_tool.scala (diff) |
The file was modified | Admin/PLATFORMS (diff) |
The file was modified | Admin/Windows/Cygwin/Cygwin-Setup.bat (diff) |
The file was modified | Admin/Windows/Cygwin/README (diff) |
The file was modified | Admin/components/bundled-windows (diff) |
The file was modified | Admin/components/components.sha1 (diff) |
The file was modified | src/Pure/Admin/build_cygwin.scala (diff) |