# HG changeset patch
# User wenzelm
# Date 1373978763 -7200
# Node ID f653d01828055a0ff47c0012d046fbd02ea2832c
# Parent  f3a6b1d0915e6903f6fb63dd0e472f60e081e074
more robust application init;

diff -r f3a6b1d0915e -r f653d0182805 Admin/Windows/Installer/sfx.txt
--- a/Admin/Windows/Installer/sfx.txt	Tue Jul 16 14:10:10 2013 +0200
+++ b/Admin/Windows/Installer/sfx.txt	Tue Jul 16 14:46:03 2013 +0200
@@ -5,5 +5,5 @@
 ExtractPathText="Target directory"
 ExtractTitle="Unpacking {ISABELLE_NAME} ..."
 Shortcut="Du,{%%T\{ISABELLE_NAME}\{ISABELLE_NAME}.exe},{},{},{},{{ISABELLE_NAME}},{%%T\{ISABELLE_NAME}}"
-RunProgram="\"%%T\{ISABELLE_NAME}\contrib\jdk-7u21\x86-cygwin\jdk1.7.0_21\bin\javaw.exe\" -classpath \"%%T\{ISABELLE_NAME}\lib\classes\ext\Pure.jar;%%T\{ISABELLE_NAME}\lib\classes\ext\scala-library.jar;%%T\{ISABELLE_NAME}\lib\classes\ext\scala-swing.jar\" -D \"isabelle.home=\%%T\{ISABELLE_NAME}\""
+RunProgram="\"%%T\{ISABELLE_NAME}\{ISABELLE_NAME}.exe\" -i"
 ;!@InstallEnd@!