isabelle: File revisions

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;	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
Wed, 22 Dec 2010 11:52:57 +0100	wenzelm	isabelle java: prefer -server here;	file \| diff \| annotate
Tue, 20 Apr 2010 17:07:53 +0200	wenzelm	recovered isabelle java, which was broken in ebfa4bb0d50f;	file \| diff \| annotate
Tue, 20 Apr 2010 11:26:25 +0200	wenzelm	refer to THIS_JAVA dynamically, and treat ISABELLE_JAVA as static default -- relevant for nested JVM invocation within an existing Isabelle enviroment;	file \| diff \| annotate
Sat, 20 Dec 2008 11:39:27 +0100	wenzelm	removed Ids;	file \| diff \| annotate
Sat, 16 Aug 2008 14:29:25 +0200	wenzelm	removed unused usage;	file \| diff \| annotate
Sat, 16 Aug 2008 13:31:57 +0200	wenzelm	refined scala/java wrappers via isatool;	file \| diff \| annotate

isabelle