| 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 |
| Sat, 17 Sep 2011 16:29:18 +0200 | wenzelm | added "isabelle scalac" convenience; | file | diff | annotate |