| 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 |