lib/Tools/scala
Mon, 07 Nov 2011 14:59:58 +0100 wenzelm offline build of java_ext_dirs.jar, to avoid runtime dependency on javac/jar executables;
Thu, 23 Jun 2011 16:10:22 +0200 wenzelm provide Isabelle/Scala environment as Java extension, instead of user classpath
Fri, 21 Jan 2011 19:01:40 +0100 wenzelm java/scala: default to UTF-8;
less more (0) -3 tip