Thu, 23 Jun 2011 14:52:32 +0200 | wenzelm | explicit import java.lang.System to prevent odd scope problems; | file | diff | annotate |
Wed, 22 Dec 2010 12:05:17 +0100 | wenzelm | more explicit jvm_name; | file | diff | annotate |
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 |
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 |