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