equal
deleted
inserted
replaced
|
1 <launch4jConfig> |
|
2 <dontWrapJar>true</dontWrapJar> |
|
3 <headerType>gui</headerType> |
|
4 <jar>lib/classes/isabelle-scala.jar</jar> |
|
5 <outfile>Isabelle.exe</outfile> |
|
6 <errTitle></errTitle> |
|
7 <cmdLine></cmdLine> |
|
8 <chdir></chdir> |
|
9 <priority>normal</priority> |
|
10 <downloadUrl>http://java.com/download</downloadUrl> |
|
11 <supportUrl></supportUrl> |
|
12 <customProcName>false</customProcName> |
|
13 <stayAlive>false</stayAlive> |
|
14 <manifest></manifest> |
|
15 <icon></icon> |
|
16 <jre> |
|
17 <path></path> |
|
18 <minVersion>1.6.0</minVersion> |
|
19 <maxVersion></maxVersion> |
|
20 <jdkPreference>preferJre</jdkPreference> |
|
21 <opt>-Disabelle.home="%EXEDIR%"</opt> |
|
22 </jre> |
|
23 </launch4jConfig> |