# HG changeset patch
# User wenzelm
# Date 1372785933 -7200
# Node ID bae8f472474e27370e75df4ecc1613636b486d38
# Parent  e4f668f258a1eddad203e14738a21f59e4278549
allow choice of target directory (again, see also 58e2d0cd81ae);

diff -r e4f668f258a1 -r bae8f472474e Admin/Windows/Installer/sfx.txt
--- 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@!