Admin/Windows/WinRun4J/Isabelle.ini
author wenzelm
Mon Aug 18 12:15:11 2014 +0200 (2014-08-18)
changeset 57977 113b43b84412
parent 53581 c0ad478abf50
child 61298 49b964a6fe11
permissions -rw-r--r--
updated to jdk-7u67;
     1 main.class=isabelle.Main
     2 vm.location=contrib\jdk\x86-cygwin\jre\bin\server\jvm.dll
     3 splash.image=lib\logo\isabelle.bmp
     4 vmarg.1=-Disabelle.home=%INI_DIR%