Admin/launch4j/isabelle.xml
changeset 47662 206bf8c4860d
parent 31921 f39825f8bfd3
child 47665 2cbf029abca9
     1.1 --- a/Admin/launch4j/isabelle.xml	Sun Apr 22 14:30:18 2012 +0200
     1.2 +++ b/Admin/launch4j/isabelle.xml	Sun Apr 22 15:19:46 2012 +0200
     1.3 @@ -1,23 +1,29 @@
     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></jar>
     1.9    <outfile>Isabelle.exe</outfile>
    1.10    <errTitle></errTitle>
    1.11    <cmdLine></cmdLine>
    1.12    <chdir></chdir>
    1.13    <priority>normal</priority>
    1.14 -  <downloadUrl>http://java.com/download</downloadUrl>
    1.15 +  <downloadUrl></downloadUrl>
    1.16    <supportUrl></supportUrl>
    1.17    <customProcName>false</customProcName>
    1.18    <stayAlive>true</stayAlive>
    1.19    <manifest></manifest>
    1.20    <icon>isabelle.ico</icon>
    1.21 +  <classPath>
    1.22 +    <mainClass>isabelle.GUI_Setup</mainClass>
    1.23 +    <cp>lib\classes\ext\Pure.jar</cp>
    1.24 +    <cp>lib\classes\ext\scala-library.jar</cp>
    1.25 +    <cp>lib\classes\ext\scala-swing.jar</cp>
    1.26 +  </classPath>
    1.27    <jre>
    1.28 -    <path></path>
    1.29 -    <minVersion>1.6.0</minVersion>
    1.30 +    <path>contrib\jdk-7u3_x86-cygwin\jdk1.7.0_03</path>
    1.31 +    <minVersion></minVersion>
    1.32      <maxVersion></maxVersion>
    1.33 -    <jdkPreference>preferJre</jdkPreference>
    1.34 +    <jdkPreference>jdkOnly</jdkPreference>
    1.35      <opt>-Disabelle.home=&quot;%EXEDIR%&quot;</opt>
    1.36    </jre>
    1.37  </launch4jConfig>
    1.38 \ No newline at end of file