isabelle: File revisions

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;	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
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
Fri, 28 May 2010 20:41:23 +0200	wenzelm	assume given SCALA_HOME, e.g. from component settings or external setup;	file \| diff \| annotate
Sat, 09 Jan 2010 18:22:40 +0100	wenzelm	pass build error code;	file \| diff \| annotate

isabelle