author | wenzelm |
Fri, 01 Feb 2013 22:24:27 +0100 | |
changeset 51076 | 58e2d0cd81ae |
parent 50984 | 7c07ade3c8e0 |
child 52502 | bae8f472474e |
permissions | -rw-r--r-- |
47838 | 1 |
;!@Install@!UTF-8! |
2 |
GUIFlags="64" |
|
3 |
InstallPath="%UserDesktop%" |
|
51076
58e2d0cd81ae
no choice of target directory -- default file permissions outside user directory tend to be ill-defined for Cygwin;
wenzelm
parents:
50984
diff
changeset
|
4 |
ExtractTitle="Unpacking %%T\Isabelle2013 ..." |
50835 | 5 |
Shortcut="Du,{%%T\Isabelle2013\Isabelle2013.exe},{},{},{},{Isabelle2013},{%%T\Isabelle2013}" |
6 |
RunProgram="\"%%T\Isabelle2013\contrib\cygwin\isabelle\init.bat\"" |
|
47838 | 7 |
;!@InstallEnd@! |