src/Pure/System/gui_setup.scala
2012-07-05 wenzelm 2012-07-05 prefer sys.exit from scala 2.9;
2012-05-29 wenzelm 2012-05-29 tuned message;
2012-05-24 wenzelm 2012-05-24 discontinued obsolete Cygwin module;
2012-04-23 wenzelm 2012-04-23 scrollable text;
2012-04-14 wenzelm 2012-04-14 report ISABELLE_HOME_WINDOWS;
2012-03-24 wenzelm 2012-03-24 ISABELLE_JDK_HOME settings variable points to JDK with javac and jar (not just JRE); update for prospective jdk1.7.x component;
2011-07-04 wenzelm 2011-07-04 quasi-static Isabelle_System -- reduced tendency towards "functorial style";
2011-07-04 wenzelm 2011-07-04 imitate exception ERROR of Isabelle/ML;
2011-06-23 wenzelm 2011-06-23 explicit import java.lang.System to prevent odd scope problems;
2011-06-22 wenzelm 2011-06-22 lazy Isabelle_System.default supports implicit boot;
2010-12-22 wenzelm 2010-12-22 more explicit jvm_name;
2010-11-16 wenzelm 2010-11-16 tuned message;
2010-05-20 wenzelm 2010-05-20 simplified alignment via FlowPanel; tuned;
2010-05-10 wenzelm 2010-05-10 more convenient look-and-feel setup;
2010-05-05 wenzelm 2010-05-05 use SwingApplication instead of deprecated GUIApplication;
2010-04-19 wenzelm 2010-04-19 tuned;
2010-04-19 wenzelm 2010-04-19 more platform information;
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 more platform info;
2010-04-17 wenzelm 2010-04-17 system properties determine the JVM platform, not the Isabelle one;
2010-04-17 wenzelm 2010-04-17 improved ISABELLE_JAVA, based on THIS_JAVA of the actually running JVM;
2009-12-09 wenzelm 2009-12-09 simplified Cygwin setup, assuming 1.7 registry layout (version 1.5 suffers from upcaseenv problem anyway);
2009-07-03 wenzelm 2009-07-03 init/check Isabelle_System;
2009-06-30 wenzelm 2009-06-30 renamed Swing to Swing_Thread, to avoid overlap with scala.swing.Swing;
2009-06-30 wenzelm 2009-06-30 more display;
2009-06-28 wenzelm 2009-06-28 improved display;
2009-06-28 wenzelm 2009-06-28 display some platform information;
2009-06-28 wenzelm 2009-06-28 sane platform look-and-feel;
2009-06-28 wenzelm 2009-06-28 minimal GUI_Setup, which is the main class of Pure.jar;