isabelle: File revisions

lib/Tools/java

Sat, 14 Apr 2012 14:36:36 +0200	wenzelm	more robust invocation via ISABELLE_JDK_HOME and SCALA_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
Sat, 24 Mar 2012 20:24:16 +0100	wenzelm	ISABELLE_JDK_HOME settings variable points to JDK with javac and jar (not just JRE);	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
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;	file \| diff \| annotate
Thu, 23 Jun 2011 16:10:22 +0200	wenzelm	provide Isabelle/Scala environment as Java extension, instead of user classpath	file \| diff \| annotate
Fri, 21 Jan 2011 19:01:40 +0100	wenzelm	java/scala: default to UTF-8;	file \| diff \| annotate

isabelle