Admin/Windows/Installer/sfx.txt
changeset 52502 bae8f472474e
parent 51076 58e2d0cd81ae
child 52670 57a00f274130
--- a/Admin/Windows/Installer/sfx.txt	Tue Jul 02 17:10:44 2013 +0200
+++ b/Admin/Windows/Installer/sfx.txt	Tue Jul 02 19:25:33 2013 +0200
@@ -1,7 +1,9 @@
 ;!@Install@!UTF-8!
 GUIFlags="64"
 InstallPath="%UserDesktop%"
-ExtractTitle="Unpacking %%T\Isabelle2013 ..."
+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@!