| Mon, 10 May 2010 17:37:32 +0200 | wenzelm | more convenient look-and-feel setup; | file | diff | annotate |
| Mon, 19 Apr 2010 17:27:41 +0200 | wenzelm | check JVM platform at most once -- still non-strict to prevent potential failure during initialization of object Platform; | file | diff | annotate |
| Sat, 17 Apr 2010 21:40:29 +0200 | wenzelm | system properties determine the JVM platform, not the Isabelle one; | file | diff | annotate |