1.1 --- a/Admin/launch4j/isabelle.xml Sun Apr 22 14:30:18 2012 +0200
1.2 +++ b/Admin/launch4j/isabelle.xml Sun Apr 22 15:19:46 2012 +0200
1.3 @@ -1,23 +1,29 @@
1.4 <launch4jConfig>
1.5 <dontWrapJar>true</dontWrapJar>
1.6 <headerType>gui</headerType>
1.7 - <jar>lib\classes\isabelle-scala.jar</jar>
1.8 + <jar></jar>
1.9 <outfile>Isabelle.exe</outfile>
1.10 <errTitle></errTitle>
1.11 <cmdLine></cmdLine>
1.12 <chdir></chdir>
1.13 <priority>normal</priority>
1.14 - <downloadUrl>http://java.com/download</downloadUrl>
1.15 + <downloadUrl></downloadUrl>
1.16 <supportUrl></supportUrl>
1.17 <customProcName>false</customProcName>
1.18 <stayAlive>true</stayAlive>
1.19 <manifest></manifest>
1.20 <icon>isabelle.ico</icon>
1.21 + <classPath>
1.22 + <mainClass>isabelle.GUI_Setup</mainClass>
1.23 + <cp>lib\classes\ext\Pure.jar</cp>
1.24 + <cp>lib\classes\ext\scala-library.jar</cp>
1.25 + <cp>lib\classes\ext\scala-swing.jar</cp>
1.26 + </classPath>
1.27 <jre>
1.28 - <path></path>
1.29 - <minVersion>1.6.0</minVersion>
1.30 + <path>contrib\jdk-7u3_x86-cygwin\jdk1.7.0_03</path>
1.31 + <minVersion></minVersion>
1.32 <maxVersion></maxVersion>
1.33 - <jdkPreference>preferJre</jdkPreference>
1.34 + <jdkPreference>jdkOnly</jdkPreference>
1.35 <opt>-Disabelle.home="%EXEDIR%"</opt>
1.36 </jre>
1.37 </launch4jConfig>
1.38 \ No newline at end of file