Thu, 23 Aug 2012 21:23:14 +0200 | wenzelm | simplified JVM startup, based on stronger assumptions about the Java version provided as Isabelle component; | file | diff | annotate |
Wed, 25 Apr 2012 15:13:03 +0200 | wenzelm | enforce our JAVA_HOME to avoid potential conflicts with other Java installations by the user; | file | diff | annotate |
Thu, 12 Apr 2012 23:03:25 +0200 | wenzelm | direct scala toplevel tools to ISABELLE_JDK_HOME; | file | diff | annotate |
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); | file | diff | annotate |
Mon, 07 Nov 2011 14:59:58 +0100 | wenzelm | offline build of java_ext_dirs.jar, to avoid runtime dependency on javac/jar executables; | file | diff | annotate |
Sat, 17 Sep 2011 16:29:18 +0200 | wenzelm | added "isabelle scalac" convenience; | file | diff | annotate |