Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
more robust application init;
authorwenzelm
Tue, 16 Jul 2013 14:46:03 +0200
changeset 52676 f653d0182805
parent 52675 f3a6b1d0915e
child 52677 2b446d507296
more robust application init;
Admin/Windows/Installer/sfx.txt file | annotate | diff | comparison | revisions 
--- 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@!
isabelle