author | wenzelm |
Sat, 02 Aug 2014 19:29:02 +0200 | |
changeset 57843 | d8966c09025c |
parent 53581 | c0ad478abf50 |
child 61298 | 49b964a6fe11 |
permissions | -rw-r--r-- |
53471 | 1 |
main.class=isabelle.Main |
2 |
vm.location=contrib\jdk\x86-cygwin\jre\bin\server\jvm.dll |
|
53473 | 3 |
splash.image=lib\logo\isabelle.bmp |
53484
1100982a071c
generate application ini based on $ISABELLE_JAVA_SYSTEM_OPTIONS $JEDIT_JAVA_OPTIONS $JEDIT_SYSTEM_OPTIONS at build time (see also lib/Tools/java and src/Tools/jEdit/lib/Tools/jedit);
wenzelm
parents:
53473
diff
changeset
|
4 |
vmarg.1=-Disabelle.home=%INI_DIR% |