14 <manifest></manifest> |
14 <manifest></manifest> |
15 <icon>isabelle.ico</icon> |
15 <icon>isabelle.ico</icon> |
16 <classPath> |
16 <classPath> |
17 <mainClass>isabelle.Main</mainClass> |
17 <mainClass>isabelle.Main</mainClass> |
18 <cp>%EXEDIR%\lib\classes\ext\Pure.jar</cp> |
18 <cp>%EXEDIR%\lib\classes\ext\Pure.jar</cp> |
|
19 <cp>%EXEDIR%\lib\classes\ext\scala-compiler.jar</cp> |
19 <cp>%EXEDIR%\lib\classes\ext\scala-library.jar</cp> |
20 <cp>%EXEDIR%\lib\classes\ext\scala-library.jar</cp> |
20 <cp>%EXEDIR%\lib\classes\ext\scala-swing.jar</cp> |
21 <cp>%EXEDIR%\lib\classes\ext\scala-swing.jar</cp> |
|
22 <cp>%EXEDIR%\lib\classes\ext\scala-actors.jar</cp> |
|
23 <cp>%EXEDIR%\lib\classes\ext\scala-reflect.jar</cp> |
|
24 <cp>%EXEDIR%\src\Tools\jEdit\dist\jedit.jar</cp> |
21 </classPath> |
25 </classPath> |
22 <jre> |
26 <jre> |
23 <path>%EXEDIR%\contrib\jdk\x86-cygwin</path> |
27 <path>%EXEDIR%\contrib\jdk\x86-cygwin</path> |
24 <minVersion></minVersion> |
28 <minVersion></minVersion> |
25 <maxVersion></maxVersion> |
29 <maxVersion></maxVersion> |
26 <jdkPreference>jdkOnly</jdkPreference> |
30 <jdkPreference>jdkOnly</jdkPreference> |
27 <opt>-Disabelle.home="%EXEDIR%"</opt> |
31 <opt>-Dfile.encoding=UTF-8 -server -Xms128m -Xmx1024m -Xss2m -Dactors.corePoolSize=4 -Dactors.enableForkJoin=false -Disabelle.home="%EXEDIR%"</opt> |
28 </jre> |
32 </jre> |
29 <splash> |
33 <splash> |
30 <file>isabelle.bmp</file> |
34 <file>isabelle.bmp</file> |
31 <waitForWindow>false</waitForWindow> |
35 <waitForWindow>false</waitForWindow> |
32 <timeout>10</timeout> |
36 <timeout>10</timeout> |