| changeset 50831 | 7784cc660580 |
| parent 50810 | 76967aa4fe84 |
| child 50835 | 13942abebcd3 |
--- a/Admin/Windows/Cygwin/sfx.txt Fri Jan 11 08:17:47 2013 +0100 +++ b/Admin/Windows/Cygwin/sfx.txt Fri Jan 11 13:23:51 2013 +0100 @@ -5,5 +5,5 @@ ExtractPathText="Target directory" ExtractTitle="Unpacking Isabelle2013 ..." Shortcut="Du,{%%T\Isabelle2013\Isabelle2013.exe},{},{},{},{},{%%T\Isabelle2013}" -RunProgram="\"%%T\Isabelle2013\cygwin\init.bat\"" +RunProgram="\"%%T\Isabelle2013\contrib\cygwin\init.bat\"" ;!@InstallEnd@!