60994
|
1 |
<?xml version="1.0" encoding="UTF-8"?>
|
|
2 |
<launch4jConfig>
|
|
3 |
<dontWrapJar>true</dontWrapJar>
|
|
4 |
<headerType>gui</headerType>
|
|
5 |
<jar></jar>
|
|
6 |
<outfile>{OUTFILE}</outfile>
|
|
7 |
<errTitle></errTitle>
|
|
8 |
<cmdLine></cmdLine>
|
|
9 |
<chdir></chdir>
|
|
10 |
<priority>normal</priority>
|
|
11 |
<downloadUrl></downloadUrl>
|
|
12 |
<supportUrl></supportUrl>
|
60996
|
13 |
<stayAlive>false</stayAlive>
|
60994
|
14 |
<restartOnCrash>false</restartOnCrash>
|
|
15 |
<manifest></manifest>
|
|
16 |
<icon>{ICON}</icon>
|
|
17 |
<classPath>
|
|
18 |
<mainClass>isabelle.Main</mainClass>
|
|
19 |
{CLASSPATH}
|
|
20 |
</classPath>
|
61160
|
21 |
<singleInstance>
|
|
22 |
<mutexName>{ISABELLE_NAME}</mutexName>
|
|
23 |
<windowTitle>{ISABELLE_NAME}</windowTitle>
|
|
24 |
</singleInstance>
|
60994
|
25 |
<jre>
|
66724
|
26 |
<path>%EXEDIR%\contrib\jdk\x86_64-windows\jre</path>
|
|
27 |
<bundledJre64Bit>true</bundledJre64Bit>
|
60994
|
28 |
<bundledJreAsFallback>false</bundledJreAsFallback>
|
|
29 |
<minVersion></minVersion>
|
|
30 |
<maxVersion></maxVersion>
|
|
31 |
<jdkPreference>jdkOnly</jdkPreference>
|
66724
|
32 |
<runtimeBits>64</runtimeBits>
|
61296
|
33 |
<opt>-Disabelle.root="%EXEDIR%" -Dcygwin.root="%EXEDIR%\contrib\cygwin"</opt>
|
60994
|
34 |
</jre>
|
|
35 |
<splash>
|
|
36 |
<file>{SPLASH}</file>
|
60999
|
37 |
<waitForWindow>true</waitForWindow>
|
61828
|
38 |
<timeout>120</timeout>
|
|
39 |
<timeoutErr>false</timeoutErr>
|
60994
|
40 |
</splash>
|
|
41 |
</launch4jConfig> |