changeset 50984 | 7c07ade3c8e0 |
parent 50983 | 1290afb88f90 |
child 50985 | 23bb011a5832 |
50983:1290afb88f90 | 50984:7c07ade3c8e0 |
---|---|
1 ;!@Install@!UTF-8! |
|
2 GUIFlags="64" |
|
3 InstallPath="%UserDesktop%" |
|
4 BeginPrompt="Unpack Isabelle2013?" |
|
5 ExtractPathText="Target directory" |
|
6 ExtractTitle="Unpacking Isabelle2013 ..." |
|
7 Shortcut="Du,{%%T\Isabelle2013\Isabelle2013.exe},{},{},{},{Isabelle2013},{%%T\Isabelle2013}" |
|
8 RunProgram="\"%%T\Isabelle2013\contrib\cygwin\isabelle\init.bat\"" |
|
9 ;!@InstallEnd@! |