changeset 50831 | 7784cc660580 |
parent 50810 | 76967aa4fe84 |
child 53663 | 62f42e9ec0f3 |
--- a/Admin/Windows/Cygwin/Cygwin-Setup.bat Fri Jan 11 08:17:47 2013 +0100 +++ b/Admin/Windows/Cygwin/Cygwin-Setup.bat Fri Jan 11 13:23:51 2013 +0100 @@ -1,4 +1,4 @@ @echo off -"%CD%\cygwin\isabelle\cygwin" --site http://isabelle.in.tum.de/cygwin_2013 --no-verify --only-site --local-package-dir "%TEMP%" --root "%CD%\cygwin" +"%CD%\contrib\cygwin\isabelle\cygwin" --site http://isabelle.in.tum.de/cygwin_2013 --no-verify --only-site --local-package-dir "%TEMP%" --root "%CD%\contrib\cygwin"