changeset 50831 | 7784cc660580 |
parent 50810 | 76967aa4fe84 |
child 53663 | 62f42e9ec0f3 |
50818:5d4852f1b952 | 50831:7784cc660580 |
---|---|
1 @echo off |
1 @echo off |
2 |
2 |
3 "%CD%\cygwin\isabelle\cygwin" --site http://isabelle.in.tum.de/cygwin_2013 --no-verify --only-site --local-package-dir "%TEMP%" --root "%CD%\cygwin" |
3 "%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" |
4 |
4 |