| 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 |
| Fri, 05 Feb 2010 19:48:13 +0100 | wenzelm | try "GTK+" as well -- note that "Nimbus" is unavailable in versions of OpenJDK; | file | diff | annotate |
| Sun, 28 Jun 2009 16:46:00 +0200 | wenzelm | sane platform look-and-feel; | file | diff | annotate |
| Sun, 28 Jun 2009 14:27:42 +0200 | wenzelm | moved platform identification to platform.scala; | file | diff | annotate |