# HG changeset patch
# User wenzelm
# Date 1400613201 -7200
# Node ID 80ffda443738d146c84e06b27e89a53cf362d12c
# Parent  90a3e39be0ca1dbc4a3dc9768d9457581205adbf
updated cygwin;

diff -r 90a3e39be0ca -r 80ffda443738 Admin/Windows/Cygwin/Cygwin-Latex-Setup.bat
--- 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
 
diff -r 90a3e39be0ca -r 80ffda443738 Admin/Windows/Cygwin/Cygwin-Setup.bat
--- 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"
 
diff -r 90a3e39be0ca -r 80ffda443738 Admin/Windows/Cygwin/README
--- 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"
 
diff -r 90a3e39be0ca -r 80ffda443738 Admin/components/components.sha1
--- 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
diff -r 90a3e39be0ca -r 80ffda443738 Admin/lib/Tools/makedist_cygwin
--- 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"