Admin/launch4j/isabelle.xml
changeset 31921 f39825f8bfd3
parent 31859 7130ead05fdd
child 47662 206bf8c4860d
     1.1 --- a/Admin/launch4j/isabelle.xml	Fri Jul 03 00:06:40 2009 +0200
     1.2 +++ b/Admin/launch4j/isabelle.xml	Fri Jul 03 00:10:19 2009 +0200
     1.3 @@ -1,7 +1,7 @@
     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>lib\classes\isabelle-scala.jar</jar>
     1.9    <outfile>Isabelle.exe</outfile>
    1.10    <errTitle></errTitle>
    1.11    <cmdLine></cmdLine>
    1.12 @@ -10,7 +10,7 @@
    1.13    <downloadUrl>http://java.com/download</downloadUrl>
    1.14    <supportUrl></supportUrl>
    1.15    <customProcName>false</customProcName>
    1.16 -  <stayAlive>false</stayAlive>
    1.17 +  <stayAlive>true</stayAlive>
    1.18    <manifest></manifest>
    1.19    <icon>isabelle.ico</icon>
    1.20    <jre>