1.1 --- a/Admin/Windows/launch4j/isabelle.xml	Thu Dec 05 17:52:12 2013 +0100
     1.2 +++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
     1.3 @@ -1,39 +0,0 @@
     1.4 -<launch4jConfig>
     1.5 -  <dontWrapJar>true</dontWrapJar>
     1.6 -  <headerType>gui</headerType>
     1.7 -  <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></downloadUrl>
    1.14 -  <supportUrl></supportUrl>
    1.15 -  <customProcName>false</customProcName>
    1.16 -  <stayAlive>true</stayAlive>
    1.17 -  <manifest></manifest>
    1.18 -  <icon>isabelle.ico</icon>
    1.19 -  <classPath>
    1.20 -    <mainClass>isabelle.Main</mainClass>
    1.21 -    <cp>%EXEDIR%\lib\classes\ext\Pure.jar</cp>
    1.22 -    <cp>%EXEDIR%\lib\classes\ext\scala-compiler.jar</cp>
    1.23 -    <cp>%EXEDIR%\lib\classes\ext\scala-library.jar</cp>
    1.24 -    <cp>%EXEDIR%\lib\classes\ext\scala-swing.jar</cp>
    1.25 -    <cp>%EXEDIR%\lib\classes\ext\scala-actors.jar</cp>
    1.26 -    <cp>%EXEDIR%\lib\classes\ext\scala-reflect.jar</cp>
    1.27 -    <cp>%EXEDIR%\src\Tools\jEdit\dist\jedit.jar</cp>
    1.28 -  </classPath>
    1.29 -  <jre>
    1.30 -    <path>%EXEDIR%\contrib\jdk\x86-cygwin</path>
    1.31 -    <minVersion></minVersion>
    1.32 -    <maxVersion></maxVersion>
    1.33 -    <jdkPreference>jdkOnly</jdkPreference>
    1.34 -    <opt>-Dfile.encoding=UTF-8 -server -Xms128m -Xmx1024m -Xss2m -Dactors.corePoolSize=4 -Dactors.enableForkJoin=false -Disabelle.home=&quot;%EXEDIR%&quot;</opt>
    1.35 -  </jre>
    1.36 -  <splash>
    1.37 -    <file>isabelle.bmp</file>
    1.38 -    <waitForWindow>false</waitForWindow>
    1.39 -    <timeout>10</timeout>
    1.40 -    <timeoutErr>false</timeoutErr>
    1.41 -  </splash>
    1.42 -</launch4jConfig>
    1.43 \ No newline at end of file