src/Pure/System/gui_setup.scala
Tue, 29 May 2012 20:20:32 +0200 wenzelm tuned message;
Thu, 24 May 2012 23:44:16 +0200 wenzelm discontinued obsolete Cygwin module;
Mon, 23 Apr 2012 23:55:06 +0200 wenzelm scrollable text;
Sat, 14 Apr 2012 16:40:17 +0200 wenzelm report ISABELLE_HOME_WINDOWS;
Sat, 24 Mar 2012 20:24:16 +0100 wenzelm ISABELLE_JDK_HOME settings variable points to JDK with javac and jar (not just JRE);
Mon, 04 Jul 2011 22:11:32 +0200 wenzelm quasi-static Isabelle_System -- reduced tendency towards "functorial style";
Mon, 04 Jul 2011 13:43:10 +0200 wenzelm imitate exception ERROR of Isabelle/ML;
Thu, 23 Jun 2011 14:52:32 +0200 wenzelm explicit import java.lang.System to prevent odd scope problems;
Wed, 22 Jun 2011 21:35:48 +0200 wenzelm lazy Isabelle_System.default supports implicit boot;
Wed, 22 Dec 2010 12:05:17 +0100 wenzelm more explicit jvm_name;
Tue, 16 Nov 2010 17:27:11 +0100 wenzelm tuned message;
Thu, 20 May 2010 15:51:28 +0200 wenzelm simplified alignment via FlowPanel;
Mon, 10 May 2010 17:37:32 +0200 wenzelm more convenient look-and-feel setup;
Wed, 05 May 2010 23:22:11 +0200 wenzelm use SwingApplication instead of deprecated GUIApplication;
Mon, 19 Apr 2010 17:57:07 +0200 wenzelm tuned;
Mon, 19 Apr 2010 17:31:48 +0200 wenzelm more platform information;
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;
Sat, 17 Apr 2010 23:05:52 +0200 wenzelm more platform info;
Sat, 17 Apr 2010 21:40:29 +0200 wenzelm system properties determine the JVM platform, not the Isabelle one;
Sat, 17 Apr 2010 20:42:26 +0200 wenzelm improved ISABELLE_JAVA, based on THIS_JAVA of the actually running JVM;
Wed, 09 Dec 2009 21:55:14 +0100 wenzelm simplified Cygwin setup, assuming 1.7 registry layout (version 1.5 suffers from upcaseenv problem anyway);
Fri, 03 Jul 2009 21:14:46 +0200 wenzelm init/check Isabelle_System;
Tue, 30 Jun 2009 21:19:32 +0200 wenzelm renamed Swing to Swing_Thread, to avoid overlap with scala.swing.Swing;
Tue, 30 Jun 2009 00:50:42 +0200 wenzelm more display;
Sun, 28 Jun 2009 22:50:37 +0200 wenzelm improved display;
Sun, 28 Jun 2009 22:35:23 +0200 wenzelm display some platform information;
Sun, 28 Jun 2009 16:46:00 +0200 wenzelm sane platform look-and-feel;
Sun, 28 Jun 2009 16:01:52 +0200 wenzelm minimal GUI_Setup, which is the main class of Pure.jar;
less more (0) tip