changeset 50810 | 76967aa4fe84 |
parent 48197 | b13dd10ebc77 |
child 50831 | 7784cc660580 |
--- a/Admin/Windows/Cygwin/Cygwin-Setup.bat Thu Jan 10 20:23:16 2013 +0100 +++ b/Admin/Windows/Cygwin/Cygwin-Setup.bat Thu Jan 10 20:41:52 2013 +0100 @@ -1,4 +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" +"%CD%\cygwin\isabelle\cygwin" --site http://isabelle.in.tum.de/cygwin_2013 --no-verify --only-site --local-package-dir "%TEMP%" --root "%CD%\cygwin"