Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
updated cygwin;
authorwenzelm
Tue, 20 May 2014 21:13:21 +0200
changeset 57027 80ffda443738
parent 57026 90a3e39be0ca
child 57028 e5466055e94f
updated cygwin;
Admin/Windows/Cygwin/Cygwin-Latex-Setup.bat file | annotate | diff | comparison | revisions
Admin/Windows/Cygwin/Cygwin-Setup.bat file | annotate | diff | comparison | revisions
Admin/Windows/Cygwin/README file | annotate | diff | comparison | revisions
Admin/components/components.sha1 file | annotate | diff | comparison | revisions
Admin/lib/Tools/makedist_cygwin file | annotate | diff | comparison | revisions 
--- a/Admin/Windows/Cygwin/Cygwin-Latex-Setup.bat	Tue May 20 20:05:43 2014 +0200
+++ b/Admin/Windows/Cygwin/Cygwin-Latex-Setup.bat	Tue May 20 21:13:21 2014 +0200
@@ -1,4 +1,4 @@
 @echo off
 
-"%CD%\contrib\cygwin\isabelle\cygwin" --site http://isabelle.in.tum.de/cygwin_2013-1 --no-verify --only-site --local-package-dir "%TEMP%" --root "%CD%\contrib\cygwin" --packages texlive-collection-latexextra,texlive-collection-fontutils,texlive-collection-mathextra,libsasl2 --quiet-mode
+"%CD%\contrib\cygwin\isabelle\cygwin" --site http://isabelle.in.tum.de/cygwin_2014 --no-verify --only-site --local-package-dir "%TEMP%" --root "%CD%\contrib\cygwin" --packages texlive-collection-latexextra,texlive-collection-fontutils,texlive-collection-mathextra,libsasl2 --quiet-mode
 
--- a/Admin/Windows/Cygwin/Cygwin-Setup.bat	Tue May 20 20:05:43 2014 +0200
+++ b/Admin/Windows/Cygwin/Cygwin-Setup.bat	Tue May 20 21:13:21 2014 +0200
@@ -1,4 +1,4 @@
 @echo off
 
-"%CD%\contrib\cygwin\isabelle\cygwin" --site http://isabelle.in.tum.de/cygwin_2013-1 --no-verify --only-site --local-package-dir "%TEMP%" --root "%CD%\contrib\cygwin"
+"%CD%\contrib\cygwin\isabelle\cygwin" --site http://isabelle.in.tum.de/cygwin_2014 --no-verify --only-site --local-package-dir "%TEMP%" --root "%CD%\contrib\cygwin"
 
--- a/Admin/Windows/Cygwin/README	Tue May 20 20:05:43 2014 +0200
+++ b/Admin/Windows/Cygwin/README	Tue May 20 21:13:21 2014 +0200
@@ -10,6 +10,7 @@
   http://isabelle.in.tum.de/cygwin  (Isabelle2012)
   http://isabelle.in.tum.de/cygwin_2013  (Isabelle2013)
   http://isabelle.in.tum.de/cygwin_2013-1  (Isabelle2013-1 and Isabelle2013-2)
+  http://isabelle.in.tum.de/cygwin_2014  (Isabelle2014)
 
 * Quasi-component: "isabelle makedist_cygwin"
 
--- a/Admin/components/components.sha1	Tue May 20 20:05:43 2014 +0200
+++ b/Admin/components/components.sha1	Tue May 20 21:13:21 2014 +0200
@@ -4,6 +4,7 @@
 3b44cca04855016d5f8cfb5101b2e0579ab80197  cygwin-20130117.tar.gz
 1fde9ddf0fa4f398965113d0c0c4f0e97c78d008  cygwin-20130716.tar.gz
 a03735a53c2963eb0b453f6a7282d3419f28bf38  cygwin-20130916.tar.gz
+7470125fc46e24ee188bdaacc6d560e01b6fa839  cygwin-20140520.tar.gz
 0fe549949a025d65d52d6deca30554de8fca3b6e  e-1.5.tar.gz
 2e293256a134eb8e5b1a283361b15eb812fbfbf1  e-1.6-1.tar.gz
 e1919e72416cbd7ac8de5455caba8901acc7b44d  e-1.6-2.tar.gz
--- a/Admin/lib/Tools/makedist_cygwin	Tue May 20 20:05:43 2014 +0200
+++ b/Admin/lib/Tools/makedist_cygwin	Tue May 20 21:13:21 2014 +0200
@@ -4,7 +4,7 @@
 
 ## global parameters
 
-CYGWIN_MIRROR="http://isabelle.in.tum.de/cygwin_2013-1"
+CYGWIN_MIRROR="http://isabelle.in.tum.de/cygwin_2014"
 
 
 ## diagnostics
@@ -68,8 +68,6 @@
   rm "$TARGET/etc/$NAME"
 done
 
-ln -s cygperl5_14.dll "$TARGET/bin/cygperl5_14_2.dll"
-
 rm "$TARGET/Cygwin.bat"
isabelle