diff -r 77d9881bc820 -r 9d7473cfb9ea Admin/Cygwin/Cygwin-Setup.bat
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/Admin/Cygwin/Cygwin-Setup.bat	Tue Apr 24 12:24:52 2012 +0200
@@ -0,0 +1,4 @@
+@echo off
+
+"%CD%\contrib\cygwin-1.7.9\setup" --site http://isabelle.in.tum.de/cygwin --no-verify --only-site --local-package-dir "%TEMP%" --root "%CD%\contrib\cygwin-1.7.9"
+