changeset 61827 | 31054660f285 |
parent 60034 | a8cb39717615 |
child 64344 | c1695143de35 |
61826:6f9e5fb0683f | 61827:31054660f285 |
---|---|
1 @echo off |
1 @echo off |
2 |
2 |
3 "%CD%\contrib\cygwin\isabelle\cygwin" --site http://isabelle.in.tum.de/cygwin_2015 --no-verify --only-site --local-package-dir "%TEMP%" --root "%CD%\contrib\cygwin" |
3 "%CD%\contrib\cygwin\isabelle\cygwin" --site http://isabelle.in.tum.de/cygwin_2016 --no-verify --only-site --local-package-dir "%TEMP%" --root "%CD%\contrib\cygwin" |