--- a/Admin/PLATFORMS Sat Oct 22 13:11:37 2016 +0200
+++ b/Admin/PLATFORMS Sat Oct 22 13:41:18 2016 +0200
@@ -41,7 +41,7 @@
x86-windows Windows 7
x86_64-windows Windows 7
- x86-cygwin http://isabelle.in.tum.de/cygwin_2016 (x86/release)
+ x86-cygwin http://isabelle.in.tum.de/cygwin_2016-1 (x86/release)
All of the above platforms are 100% supported by Isabelle -- end-users
should not have to care about the differences (at least in theory).
--- a/Admin/Windows/Cygwin/Cygwin-Setup.bat Sat Oct 22 13:11:37 2016 +0200
+++ b/Admin/Windows/Cygwin/Cygwin-Setup.bat Sat Oct 22 13:41:18 2016 +0200
@@ -1,3 +1,3 @@
@echo off
-"%CD%\contrib\cygwin\isabelle\cygwin" --site http://isabelle.in.tum.de/cygwin_2016 --no-verify --only-site --local-package-dir "%TEMP%" --root "%CD%\contrib\cygwin"
+"%CD%\contrib\cygwin\isabelle\cygwin" --site http://isabelle.in.tum.de/cygwin_2016-1 --no-verify --only-site --local-package-dir "%TEMP%" --root "%CD%\contrib\cygwin"
--- a/Admin/Windows/Cygwin/README Sat Oct 22 13:11:37 2016 +0200
+++ b/Admin/Windows/Cygwin/README Sat Oct 22 13:41:18 2016 +0200
@@ -13,7 +13,7 @@
http://isabelle.in.tum.de/cygwin_2014 (Isabelle2014)
http://isabelle.in.tum.de/cygwin_2015 (Isabelle2015)
http://isabelle.in.tum.de/cygwin_2016 (Isabelle2016)
- http://isabelle.in.tum.de/cygwin_2016 (Isabelle2016-1)
+ http://isabelle.in.tum.de/cygwin_2016-1 (Isabelle2016-1)
* Quasi-component: "isabelle makedist_cygwin" (as administrator)
--- a/Admin/lib/Tools/makedist_cygwin Sat Oct 22 13:11:37 2016 +0200
+++ b/Admin/lib/Tools/makedist_cygwin Sat Oct 22 13:41:18 2016 +0200
@@ -4,7 +4,7 @@
## global parameters
-CYGWIN_MIRROR="http://isabelle.in.tum.de/cygwin_2016"
+CYGWIN_MIRROR="http://isabelle.in.tum.de/cygwin_2016-1"
## diagnostics