--- a/Admin/launch4j/isabelle.xml Sun Apr 22 14:30:18 2012 +0200
+++ b/Admin/launch4j/isabelle.xml Sun Apr 22 15:19:46 2012 +0200
@@ -1,23 +1,29 @@
<launch4jConfig>
<dontWrapJar>true</dontWrapJar>
<headerType>gui</headerType>
- <jar>lib\classes\isabelle-scala.jar</jar>
+ <jar></jar>
<outfile>Isabelle.exe</outfile>
<errTitle></errTitle>
<cmdLine></cmdLine>
<chdir></chdir>
<priority>normal</priority>
- <downloadUrl>http://java.com/download</downloadUrl>
+ <downloadUrl></downloadUrl>
<supportUrl></supportUrl>
<customProcName>false</customProcName>
<stayAlive>true</stayAlive>
<manifest></manifest>
<icon>isabelle.ico</icon>
+ <classPath>
+ <mainClass>isabelle.GUI_Setup</mainClass>
+ <cp>lib\classes\ext\Pure.jar</cp>
+ <cp>lib\classes\ext\scala-library.jar</cp>
+ <cp>lib\classes\ext\scala-swing.jar</cp>
+ </classPath>
<jre>
- <path></path>
- <minVersion>1.6.0</minVersion>
+ <path>contrib\jdk-7u3_x86-cygwin\jdk1.7.0_03</path>
+ <minVersion></minVersion>
<maxVersion></maxVersion>
- <jdkPreference>preferJre</jdkPreference>
+ <jdkPreference>jdkOnly</jdkPreference>
<opt>-Disabelle.home="%EXEDIR%"</opt>
</jre>
</launch4jConfig>
\ No newline at end of file