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