Wed, 22 Dec 2010 09:02:43 +0100 | blanchet | made SML/NJ happy | changeset | files |
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 |