Admin/Windows/Cygwin/Cygwin-Setup.bat
author wenzelm
Mon Feb 11 14:39:04 2013 +0100 (2013-02-11)
changeset 51085 d90218288d51
parent 50831 7784cc660580
child 53663 62f42e9ec0f3
permissions -rwxr-xr-x
make WWW_Find work again, now that its ML modules reside within a theory context (cf. bf5b45870110) -- patch by Rafal Kolanski;
     1 @echo off
     2 
     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