Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. merged
  2. not ready for release;
  3. updated to cygwin-20170828, which is close to Cygwin 2.8.2-1;
Changeset 66531:d9641709f2df by wenzelm:
merged
Changeset 66530:a3a847c4fbdb by wenzelm:
not ready for release;
The file was modified src/Pure/System/isabelle_tool.scala (diff)
Changeset 66529:f39e01e9c489 by wenzelm:
updated to cygwin-20170828, which is close to Cygwin 2.8.2-1;
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)