Admin/launch4j/isabelle.xml
author wenzelm
Wed Apr 25 14:24:27 2012 +0200 (2012-04-25)
changeset 47745 de249b5ae6e2
parent 47743 493c0169e75c
child 47877 8a581a61815f
permissions -rw-r--r--
back to mature jdk1.6.0_31, to avoid issues like Sidekick TAB completion and generic ListCellRenderer;
     1 <launch4jConfig>
     2   <dontWrapJar>true</dontWrapJar>
     3   <headerType>gui</headerType>
     4   <jar></jar>
     5   <outfile>Isabelle.exe</outfile>
     6   <errTitle></errTitle>
     7   <cmdLine></cmdLine>
     8   <chdir></chdir>
     9   <priority>normal</priority>
    10   <downloadUrl></downloadUrl>
    11   <supportUrl></supportUrl>
    12   <customProcName>false</customProcName>
    13   <stayAlive>true</stayAlive>
    14   <manifest></manifest>
    15   <icon>isabelle.ico</icon>
    16   <classPath>
    17     <mainClass>isabelle.Main</mainClass>
    18     <cp>lib\classes\ext\Pure.jar</cp>
    19     <cp>lib\classes\ext\scala-library.jar</cp>
    20     <cp>lib\classes\ext\scala-swing.jar</cp>
    21   </classPath>
    22   <jre>
    23     <path>contrib\jdk-6u31_x86-cygwin\jdk1.6.0_31</path>
    24     <minVersion></minVersion>
    25     <maxVersion></maxVersion>
    26     <jdkPreference>jdkOnly</jdkPreference>
    27     <opt>-Disabelle.home=&quot;%EXEDIR%&quot; -Dcygwin.root=&quot;%EXEDIR%\\contrib\\cygwin-1.7.9&quot;</opt>
    28   </jre>
    29   <splash>
    30     <file>isabelle.bmp</file>
    31     <waitForWindow>false</waitForWindow>
    32     <timeout>10</timeout>
    33     <timeoutErr>false</timeoutErr>
    34   </splash>
    35 </launch4jConfig>