lib/Tools/java
Tue, 04 Oct 2011 14:51:51 +0200 wenzelm more explicit check of Java executable -- relevant for Linux x86/x86_64 mismatch and absence on Mac OS Lion;
Thu, 23 Jun 2011 16:10:22 +0200 wenzelm provide Isabelle/Scala environment as Java extension, instead of user classpath
less more (0) -2 tip