53471
|
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 |
|