Admin/launch4j/isabelle.xml
changeset 31858 bf711eb92f84
child 31859 7130ead05fdd
     1.1 --- /dev/null	Thu Jan 01 00:00:00 1970 +0000
     1.2 +++ b/Admin/launch4j/isabelle.xml	Tue Jun 30 00:46:28 2009 +0200
     1.3 @@ -0,0 +1,23 @@
     1.4 +<launch4jConfig>
     1.5 +  <dontWrapJar>true</dontWrapJar>
     1.6 +  <headerType>gui</headerType>
     1.7 +  <jar>lib/classes/isabelle-scala.jar</jar>
     1.8 +  <outfile>Isabelle.exe</outfile>
     1.9 +  <errTitle></errTitle>
    1.10 +  <cmdLine></cmdLine>
    1.11 +  <chdir></chdir>
    1.12 +  <priority>normal</priority>
    1.13 +  <downloadUrl>http://java.com/download</downloadUrl>
    1.14 +  <supportUrl></supportUrl>
    1.15 +  <customProcName>false</customProcName>
    1.16 +  <stayAlive>false</stayAlive>
    1.17 +  <manifest></manifest>
    1.18 +  <icon></icon>
    1.19 +  <jre>
    1.20 +    <path></path>
    1.21 +    <minVersion>1.6.0</minVersion>
    1.22 +    <maxVersion></maxVersion>
    1.23 +    <jdkPreference>preferJre</jdkPreference>
    1.24 +    <opt>-Disabelle.home=&quot;%EXEDIR%&quot;</opt>
    1.25 +  </jre>
    1.26 +</launch4jConfig>
    1.27 \ No newline at end of file