changeset 47838 | 47d213b10fd7 |
child 47873 | 1636ff4c6243 |
47837:ddc7921701c5 | 47838:47d213b10fd7 |
---|---|
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@! |