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}"
|
|
8 |
;!@InstallEnd@!
|