author | wenzelm |
Thu, 05 Jul 2012 22:12:03 +0200 | |
changeset 48197 | b13dd10ebc77 |
parent 47875 | Admin/Cygwin/sfx.txt@5b3cdfaedba3 |
child 50810 | 76967aa4fe84 |
permissions | -rw-r--r-- |
47838 | 1 |
;!@Install@!UTF-8! |
2 |
GUIFlags="64" |
|
3 |
InstallPath="%UserDesktop%" |
|
4 |
BeginPrompt="Unpack Isabelle2012?" |
|
5 |
ExtractPathText="Target directory" |
|
6 |
ExtractTitle="Unpacking Isabelle2012 ..." |
|
7 |
Shortcut="Du,{%%T\Isabelle2012\Isabelle.exe},{},{},{},{},{%%T\Isabelle2012}" |
|
47875 | 8 |
RunProgram="\"%%T\Isabelle2012\contrib\cygwin-1.7.9\init.bat\"" |
47838 | 9 |
;!@InstallEnd@! |