| changeset 50984 | 7c07ade3c8e0 |
| parent 50835 | 13942abebcd3 |
| child 51076 | 58e2d0cd81ae |
--- /dev/null Thu Jan 01 00:00:00 1970 +0000 +++ b/Admin/Windows/Installer/sfx.txt Sat Jan 19 12:53:13 2013 +0100 @@ -0,0 +1,9 @@ +;!@Install@!UTF-8! +GUIFlags="64" +InstallPath="%UserDesktop%" +BeginPrompt="Unpack Isabelle2013?" +ExtractPathText="Target directory" +ExtractTitle="Unpacking Isabelle2013 ..." +Shortcut="Du,{%%T\Isabelle2013\Isabelle2013.exe},{},{},{},{Isabelle2013},{%%T\Isabelle2013}" +RunProgram="\"%%T\Isabelle2013\contrib\cygwin\isabelle\init.bat\"" +;!@InstallEnd@!