Admin/lib/Tools/makedist_cygwin

 #
 # DESCRIPTION: produce pre-canned Cygwin distribution for Isabelle
 
 ## global parameters
 
-CYGWIN_MIRROR="http://isabelle.in.tum.de/cygwin_2013-1"
+CYGWIN_MIRROR="http://isabelle.in.tum.de/cygwin_2014"
 
 
 ## diagnostics
 
 PRG=$(basename "$0")

 for NAME in hosts protocols services networks passwd group
 do
   rm "$TARGET/etc/$NAME"
 done
 
-ln -s cygperl5_14.dll "$TARGET/bin/cygperl5_14_2.dll"
-
 rm "$TARGET/Cygwin.bat"
 
 
 # archive