changeset 50831 | 7784cc660580 |
parent 50807 | c065f3d14197 |
child 50888 | bfe84bbd010b |
--- a/Admin/Windows/Cygwin/isabelle/init.bat Fri Jan 11 08:17:47 2013 +0100 +++ b/Admin/Windows/Cygwin/isabelle/init.bat Fri Jan 11 13:23:51 2013 +0100 @@ -6,6 +6,6 @@ set CYGWIN=nodosfilewarning echo Initializing Cygwin ... -"cygwin\bin\dash" /isabelle/rebaseall contrib/polyml-5.5.0 -"cygwin\bin\bash" /isabelle/postinstall +"contrib\cygwin\bin\dash" /isabelle/rebaseall contrib/polyml-5.5.0 +"contrib\cygwin\bin\bash" /isabelle/postinstall