main.class=isabelle.Main
classpath.1=lib\classes\ext\Pure.jar
classpath.2=lib\classes\ext\scala-compiler.jar
classpath.3=lib\classes\ext\scala-library.jar
classpath.4=lib\classes\ext\scala-swing.jar
classpath.5=lib\classes\ext\scala-actors.jar
classpath.6=lib\classes\ext\scala-reflect.jar
classpath.7=src\Tools\jEdit\dist\jedit.jar
vm.location=contrib\jdk\x86-cygwin\jre\bin\server\jvm.dll
vmarg.1=-Dfile.encoding=UTF-8
vmarg.2=-server
vmarg.3=-Xms128m
vmarg.4=-Xmx1024m
vmarg.5=-Xss2m
vmarg.6=-Dactors.corePoolSize=4
vmarg.7=-Dactors.enableForkJoin=false
vmarg.8=-Disabelle.home=%INI_DIR%
splash.image=lib\logo\isabelle.bmp