| changeset 68375 | 5714e8806060 |
| parent 68374 | 8740e1241555 |
| child 68376 | 78147871f5b3 |
--- a/Admin/Windows/Cygwin/Cygwin-Setup.bat Mon Jun 04 21:57:38 2018 +0200 +++ b/Admin/Windows/Cygwin/Cygwin-Setup.bat Mon Jun 04 22:04:45 2018 +0200 @@ -1,3 +1,3 @@ @echo off -"%CD%\contrib\cygwin\isabelle\cygwin" --site https://isabelle.sketis.net/cygwin_2018 --no-verify --only-site --local-package-dir "%TEMP%" --root "%CD%\contrib\cygwin" +"%CD%\contrib\cygwin\isabelle\cygwin" --site {MIRROR} --no-verify --only-site --local-package-dir "%TEMP%" --root "%CD%\contrib\cygwin"