src/Pure/System/platform.scala
2012-01-04 wenzelm 2012-01-04 updated version information; discontinued somewhat obsolete hotspot check: OpenJDK 1.7 works reasonably well, and final bundling provides certain tested JDK/JRE versions;
2011-11-29 wenzelm 2011-11-29 separate compilation of PIDE vs. Pure sources, which enables independent Scala library;
2011-11-28 wenzelm 2011-11-28 explicit indication of modules for independent Scala library;
2011-06-23 wenzelm 2011-06-23 explicit import java.lang.System to prevent odd scope problems;
2010-12-22 wenzelm 2010-12-22 more explicit jvm_name;
2010-05-10 wenzelm 2010-05-10 more convenient look-and-feel setup;
2010-04-19 wenzelm 2010-04-19 check JVM platform at most once -- still non-strict to prevent potential failure during initialization of object Platform;
2010-04-17 wenzelm 2010-04-17 system properties determine the JVM platform, not the Isabelle one;
2010-02-05 wenzelm 2010-02-05 try "GTK+" as well -- note that "Nimbus" is unavailable in versions of OpenJDK;
2009-06-28 wenzelm 2009-06-28 sane platform look-and-feel;
2009-06-28 wenzelm 2009-06-28 moved platform identification to platform.scala; more precise discrimination, including 64bit option;