1 <launch4jConfig> |
1 <launch4jConfig> |
2 <dontWrapJar>true</dontWrapJar> |
2 <dontWrapJar>true</dontWrapJar> |
3 <headerType>gui</headerType> |
3 <headerType>gui</headerType> |
4 <jar>lib\classes\isabelle-scala.jar</jar> |
4 <jar></jar> |
5 <outfile>Isabelle.exe</outfile> |
5 <outfile>Isabelle.exe</outfile> |
6 <errTitle></errTitle> |
6 <errTitle></errTitle> |
7 <cmdLine></cmdLine> |
7 <cmdLine></cmdLine> |
8 <chdir></chdir> |
8 <chdir></chdir> |
9 <priority>normal</priority> |
9 <priority>normal</priority> |
10 <downloadUrl>http://java.com/download</downloadUrl> |
10 <downloadUrl></downloadUrl> |
11 <supportUrl></supportUrl> |
11 <supportUrl></supportUrl> |
12 <customProcName>false</customProcName> |
12 <customProcName>false</customProcName> |
13 <stayAlive>true</stayAlive> |
13 <stayAlive>true</stayAlive> |
14 <manifest></manifest> |
14 <manifest></manifest> |
15 <icon>isabelle.ico</icon> |
15 <icon>isabelle.ico</icon> |
|
16 <classPath> |
|
17 <mainClass>isabelle.GUI_Setup</mainClass> |
|
18 <cp>lib\classes\ext\Pure.jar</cp> |
|
19 <cp>lib\classes\ext\scala-library.jar</cp> |
|
20 <cp>lib\classes\ext\scala-swing.jar</cp> |
|
21 </classPath> |
16 <jre> |
22 <jre> |
17 <path></path> |
23 <path>contrib\jdk-7u3_x86-cygwin\jdk1.7.0_03</path> |
18 <minVersion>1.6.0</minVersion> |
24 <minVersion></minVersion> |
19 <maxVersion></maxVersion> |
25 <maxVersion></maxVersion> |
20 <jdkPreference>preferJre</jdkPreference> |
26 <jdkPreference>jdkOnly</jdkPreference> |
21 <opt>-Disabelle.home="%EXEDIR%"</opt> |
27 <opt>-Disabelle.home="%EXEDIR%"</opt> |
22 </jre> |
28 </jre> |
23 </launch4jConfig> |
29 </launch4jConfig> |