| Wed, 22 Dec 2010 13:49:06 +0100 | wenzelm | check JVM later, to avoid potential conflict with jEdit splash screen; | changeset | files |
| Wed, 22 Dec 2010 13:30:58 +0100 | wenzelm | explicit JVM check on startup; | changeset | files |
| Wed, 22 Dec 2010 12:05:17 +0100 | wenzelm | more explicit jvm_name; | changeset | files |
| Wed, 22 Dec 2010 11:52:57 +0100 | wenzelm | isabelle java: prefer -server here; | changeset | files |