equal
deleted
inserted
replaced
12 <customProcName>false</customProcName> |
12 <customProcName>false</customProcName> |
13 <stayAlive>true</stayAlive> |
13 <stayAlive>true</stayAlive> |
14 <manifest></manifest> |
14 <manifest></manifest> |
15 <icon>isabelle.ico</icon> |
15 <icon>isabelle.ico</icon> |
16 <classPath> |
16 <classPath> |
17 <mainClass>isabelle.GUI_Setup</mainClass> |
17 <mainClass>isabelle.Main</mainClass> |
18 <cp>lib\classes\ext\Pure.jar</cp> |
18 <cp>lib\classes\ext\Pure.jar</cp> |
19 <cp>lib\classes\ext\scala-library.jar</cp> |
19 <cp>lib\classes\ext\scala-library.jar</cp> |
20 <cp>lib\classes\ext\scala-swing.jar</cp> |
20 <cp>lib\classes\ext\scala-swing.jar</cp> |
21 </classPath> |
21 </classPath> |
22 <jre> |
22 <jre> |