pro-forma update to cygwin_2016-1 (web service still missing);
authorwenzelm
Sat Oct 22 13:41:18 2016 +0200 (2016-10-22)
changeset 64344c1695143de35
parent 64343 7cccf8704b78
child 64345 b89c29ea208f
pro-forma update to cygwin_2016-1 (web service still missing);
Admin/PLATFORMS
Admin/Windows/Cygwin/Cygwin-Setup.bat
Admin/Windows/Cygwin/README
Admin/lib/Tools/makedist_cygwin
     1.1 --- a/Admin/PLATFORMS	Sat Oct 22 13:11:37 2016 +0200
     1.2 +++ b/Admin/PLATFORMS	Sat Oct 22 13:41:18 2016 +0200
     1.3 @@ -41,7 +41,7 @@
     1.4  
     1.5    x86-windows       Windows 7
     1.6    x86_64-windows    Windows 7
     1.7 -  x86-cygwin        http://isabelle.in.tum.de/cygwin_2016 (x86/release)
     1.8 +  x86-cygwin        http://isabelle.in.tum.de/cygwin_2016-1 (x86/release)
     1.9  
    1.10  All of the above platforms are 100% supported by Isabelle -- end-users
    1.11  should not have to care about the differences (at least in theory).
     2.1 --- a/Admin/Windows/Cygwin/Cygwin-Setup.bat	Sat Oct 22 13:11:37 2016 +0200
     2.2 +++ b/Admin/Windows/Cygwin/Cygwin-Setup.bat	Sat Oct 22 13:41:18 2016 +0200
     2.3 @@ -1,3 +1,3 @@
     2.4  @echo off
     2.5  
     2.6 -"%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"
     2.7 +"%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"
     3.1 --- a/Admin/Windows/Cygwin/README	Sat Oct 22 13:11:37 2016 +0200
     3.2 +++ b/Admin/Windows/Cygwin/README	Sat Oct 22 13:41:18 2016 +0200
     3.3 @@ -13,7 +13,7 @@
     3.4    http://isabelle.in.tum.de/cygwin_2014  (Isabelle2014)
     3.5    http://isabelle.in.tum.de/cygwin_2015  (Isabelle2015)
     3.6    http://isabelle.in.tum.de/cygwin_2016  (Isabelle2016)
     3.7 -  http://isabelle.in.tum.de/cygwin_2016  (Isabelle2016-1)
     3.8 +  http://isabelle.in.tum.de/cygwin_2016-1  (Isabelle2016-1)
     3.9  
    3.10  * Quasi-component: "isabelle makedist_cygwin" (as administrator)
    3.11  
     4.1 --- a/Admin/lib/Tools/makedist_cygwin	Sat Oct 22 13:11:37 2016 +0200
     4.2 +++ b/Admin/lib/Tools/makedist_cygwin	Sat Oct 22 13:41:18 2016 +0200
     4.3 @@ -4,7 +4,7 @@
     4.4  
     4.5  ## global parameters
     4.6  
     4.7 -CYGWIN_MIRROR="http://isabelle.in.tum.de/cygwin_2016"
     4.8 +CYGWIN_MIRROR="http://isabelle.in.tum.de/cygwin_2016-1"
     4.9  
    4.10  
    4.11  ## diagnostics