lib/Tools/scala
Wed, 25 Apr 2012 15:13:03 +0200 wenzelm enforce our JAVA_HOME to avoid potential conflicts with other Java installations by the user;
Thu, 12 Apr 2012 23:03:25 +0200 wenzelm direct scala toplevel tools to ISABELLE_JDK_HOME;
Mon, 26 Mar 2012 16:25:08 +0200 wenzelm more robust command invocation via ISABELLE_JDK_HOME or SCALA_HOME (NB: bash exec requires genuine executable, not function);
less more (0) -10 -3 tip