author | wenzelm |
Thu, 10 Jan 2013 20:41:52 +0100 | |
changeset 50810 | 76967aa4fe84 |
parent 48197 | b13dd10ebc77 |
child 50831 | 7784cc660580 |
permissions | -rw-r--r-- |
;!@Install@!UTF-8! GUIFlags="64" InstallPath="%UserDesktop%" BeginPrompt="Unpack Isabelle2013?" ExtractPathText="Target directory" ExtractTitle="Unpacking Isabelle2013 ..." Shortcut="Du,{%%T\Isabelle2013\Isabelle2013.exe},{},{},{},{},{%%T\Isabelle2013}" RunProgram="\"%%T\Isabelle2013\cygwin\init.bat\"" ;!@InstallEnd@!