author | wenzelm |
Fri, 11 Jan 2013 13:23:51 +0100 | |
changeset 50831 | 7784cc660580 |
parent 50810 | 76967aa4fe84 |
child 50835 | 13942abebcd3 |
permissions | -rw-r--r-- |
47838 | 1 |
;!@Install@!UTF-8! |
2 |
GUIFlags="64" |
|
3 |
InstallPath="%UserDesktop%" |
|
50810
76967aa4fe84
outermost directory structure for Windows/Cygwin;
wenzelm
parents:
48197
diff
changeset
|
4 |
BeginPrompt="Unpack Isabelle2013?" |
47838 | 5 |
ExtractPathText="Target directory" |
50810
76967aa4fe84
outermost directory structure for Windows/Cygwin;
wenzelm
parents:
48197
diff
changeset
|
6 |
ExtractTitle="Unpacking Isabelle2013 ..." |
76967aa4fe84
outermost directory structure for Windows/Cygwin;
wenzelm
parents:
48197
diff
changeset
|
7 |
Shortcut="Du,{%%T\Isabelle2013\Isabelle2013.exe},{},{},{},{},{%%T\Isabelle2013}" |
50831 | 8 |
RunProgram="\"%%T\Isabelle2013\contrib\cygwin\init.bat\"" |
47838 | 9 |
;!@InstallEnd@! |