# HG changeset patch
# User wenzelm
# Date 1428861935 -7200
# Node ID a8cb3971761545ce17052811c27aea38b43a7f0f
# Parent  9a1d40876e9f459f2fce7f2179a870fda65a71f6
proper site for Cygwin setup;

diff -r 9a1d40876e9f -r a8cb39717615 Admin/Windows/Cygwin/Cygwin-Setup.bat
--- a/Admin/Windows/Cygwin/Cygwin-Setup.bat	Sun Apr 12 13:10:04 2015 +0200
+++ b/Admin/Windows/Cygwin/Cygwin-Setup.bat	Sun Apr 12 20:05:35 2015 +0200
@@ -1,4 +1,3 @@
 @echo off
 
-"%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"
-
+"%CD%\contrib\cygwin\isabelle\cygwin" --site http://isabelle.in.tum.de/cygwin_2015 --no-verify --only-site --local-package-dir "%TEMP%" --root "%CD%\contrib\cygwin"