| author | wenzelm |
| Fri, 11 Jan 2013 13:23:51 +0100 | |
| changeset 51846 | 7784cc660580 |
| parent 51824 | 6e77cfc21fc1 |
| child 51971 | d58dae9079a6 |
| permissions | -rw-r--r-- |
| wenzelm@31858 | 1 |
<launch4jConfig> |
| wenzelm@31858 | 2 |
<dontWrapJar>true</dontWrapJar> |
| wenzelm@31858 | 3 |
<headerType>gui</headerType> |
| wenzelm@48539 | 4 |
<jar></jar> |
| wenzelm@31858 | 5 |
<outfile>Isabelle.exe</outfile> |
| wenzelm@31858 | 6 |
<errTitle></errTitle> |
| wenzelm@31858 | 7 |
<cmdLine></cmdLine> |
| wenzelm@31858 | 8 |
<chdir></chdir> |
| wenzelm@31858 | 9 |
<priority>normal</priority> |
| wenzelm@48539 | 10 |
<downloadUrl></downloadUrl> |
| wenzelm@31858 | 11 |
<supportUrl></supportUrl> |
| wenzelm@31858 | 12 |
<customProcName>false</customProcName> |
| wenzelm@31921 | 13 |
<stayAlive>true</stayAlive> |
| wenzelm@31858 | 14 |
<manifest></manifest> |
| wenzelm@31860 | 15 |
<icon>isabelle.ico</icon> |
| wenzelm@48539 | 16 |
<classPath> |
| wenzelm@48542 | 17 |
<mainClass>isabelle.Main</mainClass> |
| wenzelm@48749 | 18 |
<cp>%EXEDIR%\lib\classes\ext\Pure.jar</cp> |
| wenzelm@48749 | 19 |
<cp>%EXEDIR%\lib\classes\ext\scala-library.jar</cp> |
| wenzelm@48749 | 20 |
<cp>%EXEDIR%\lib\classes\ext\scala-swing.jar</cp> |
| wenzelm@48539 | 21 |
</classPath> |
| wenzelm@31858 | 22 |
<jre> |
| wenzelm@51824 | 23 |
<path>%EXEDIR%\contrib\jdk-7u9\x86-cygwin\jdk1.7.0_09</path> |
| wenzelm@48539 | 24 |
<minVersion></minVersion> |
| wenzelm@31858 | 25 |
<maxVersion></maxVersion> |
| wenzelm@48539 | 26 |
<jdkPreference>jdkOnly</jdkPreference> |
| wenzelm@51846 | 27 |
<opt>-Disabelle.home="%EXEDIR%" -Dcygwin.root="%EXEDIR%\\contrib\\cygwin"</opt> |
| wenzelm@31858 | 28 |
</jre> |
| wenzelm@48614 | 29 |
<splash> |
| wenzelm@48614 | 30 |
<file>isabelle.bmp</file> |
| wenzelm@48614 | 31 |
<waitForWindow>false</waitForWindow> |
| wenzelm@48614 | 32 |
<timeout>10</timeout> |
| wenzelm@48614 | 33 |
<timeoutErr>false</timeoutErr> |
| wenzelm@48614 | 34 |
</splash> |
| wenzelm@31858 | 35 |
</launch4jConfig> |