wenzelm [Sat, 22 May 2010 23:53:09 +0200] rev 37070
added rev_iterator;
wenzelm [Sat, 22 May 2010 22:30:43 +0200] rev 37069
tuned;
wenzelm [Sat, 22 May 2010 22:30:37 +0200] rev 37068
access statically typed dockable windows;
wenzelm [Sat, 22 May 2010 22:05:41 +0200] rev 37067
simplified dockables using class Dockable;
wenzelm [Sat, 22 May 2010 21:48:01 +0200] rev 37066
generic dockable window;
wenzelm [Sat, 22 May 2010 20:59:55 +0200] rev 37065
separate event bus and dockable for raw output (stdout);
wenzelm [Sat, 22 May 2010 20:37:59 +0200] rev 37064
more Mac OS problems;
wenzelm [Sat, 22 May 2010 20:37:20 +0200] rev 37063
ignore system messages;
wenzelm [Sat, 22 May 2010 20:20:51 +0200] rev 37062
use proper ISABELLE_PLATFORM instead of adhoc uname;
wenzelm [Sat, 22 May 2010 20:10:11 +0200] rev 37061
refrain from using bold within the term language -- looks odd in Lobo with error/warning background;
wenzelm [Sat, 22 May 2010 20:02:26 +0200] rev 37060
tuned;
wenzelm [Sat, 22 May 2010 20:00:28 +0200] rev 37059
removed timing;
wenzelm [Sat, 22 May 2010 19:42:20 +0200] rev 37058
rendering information and style sheets via settings;
generalized Isabelle_System.try_read;
prefer getenv_strict in most situations;
wenzelm [Fri, 21 May 2010 23:48:48 +0200] rev 37057
more brackets -- unaligned to prevent odd auto-indentation;