equal
deleted
inserted
replaced
|
1 main.class=isabelle.Main |
|
2 classpath.1=lib\classes\ext\Pure.jar |
|
3 classpath.2=lib\classes\ext\scala-compiler.jar |
|
4 classpath.3=lib\classes\ext\scala-library.jar |
|
5 classpath.4=lib\classes\ext\scala-swing.jar |
|
6 classpath.5=lib\classes\ext\scala-actors.jar |
|
7 classpath.6=lib\classes\ext\scala-reflect.jar |
|
8 classpath.7=src\Tools\jEdit\dist\jedit.jar |
|
9 vm.location=contrib\jdk\x86-cygwin\jre\bin\server\jvm.dll |
|
10 vmarg.1=-Dfile.encoding=UTF-8 |
|
11 vmarg.2=-server |
|
12 vmarg.3=-Xms128m |
|
13 vmarg.4=-Xmx1024m |
|
14 vmarg.5=-Xss2m |
|
15 vmarg.6=-Dactors.corePoolSize=4 |
|
16 vmarg.7=-Dactors.enableForkJoin=false |
|
17 vmarg.8=-Disabelle.home=%INI_DIR% |
|
18 splash.image=isabelle.bmp |
|
19 |