2 <dontWrapJar>true</dontWrapJar>
3 <headerType>gui</headerType>
5 <outfile>Isabelle.exe</outfile>
9 <priority>normal</priority>
10 <downloadUrl></downloadUrl>
11 <supportUrl></supportUrl>
12 <customProcName>false</customProcName>
13 <stayAlive>true</stayAlive>
15 <icon>isabelle.ico</icon>
17 <mainClass>isabelle.Main</mainClass>
18 <cp>%EXEDIR%\lib\classes\ext\Pure.jar</cp>
19 <cp>%EXEDIR%\lib\classes\ext\scala-library.jar</cp>
20 <cp>%EXEDIR%\lib\classes\ext\scala-swing.jar</cp>
23 <path>%EXEDIR%\contrib\jdk-7u9\x86-cygwin\jdk1.7.0_09</path>
24 <minVersion></minVersion>
25 <maxVersion></maxVersion>
26 <jdkPreference>jdkOnly</jdkPreference>
27 <opt>-Disabelle.home="%EXEDIR%" -Dcygwin.root="%EXEDIR%\\cygwin"</opt>
30 <file>isabelle.bmp</file>
31 <waitForWindow>false</waitForWindow>
33 <timeoutErr>false</timeoutErr>