<launch4jConfig>

   <dontWrapJar>true</dontWrapJar>

   <headerType>gui</headerType>

   <jar></jar>

   <outfile>Isabelle.exe</outfile>

   <errTitle></errTitle>

   <cmdLine></cmdLine>

   <chdir></chdir>

   <priority>normal</priority>

   <downloadUrl></downloadUrl>

   <supportUrl></supportUrl>

   <customProcName>false</customProcName>

   <stayAlive>true</stayAlive>

   <manifest></manifest>

   <icon>isabelle.ico</icon>

   <classPath>

     <mainClass>isabelle.Main</mainClass>

     <cp>%EXEDIR%\lib\classes\ext\Pure.jar</cp>

     <cp>%EXEDIR%\lib\classes\ext\scala-library.jar</cp>

     <cp>%EXEDIR%\lib\classes\ext\scala-swing.jar</cp>

   </classPath>

   <jre>

     <path>%EXEDIR%\contrib\jdk-7u21\x86-cygwin\jdk1.7.0_21</path>

     <minVersion></minVersion>

     <maxVersion></maxVersion>

     <jdkPreference>jdkOnly</jdkPreference>

     <opt>-Disabelle.home=&quot;%EXEDIR%&quot; -Dcygwin.root=&quot;%EXEDIR%\\contrib\\cygwin&quot;</opt>

   </jre>

   <splash>

     <file>isabelle.bmp</file>

     <waitForWindow>false</waitForWindow>

     <timeout>10</timeout>

     <timeoutErr>false</timeoutErr>

   </splash>

 </launch4jConfig>