Sat, 22 May 2010 22:30:43 +0200 tuned;
wenzelm [Sat, 22 May 2010 22:30:43 +0200] rev 37069
tuned;
Sat, 22 May 2010 22:30:37 +0200 access statically typed dockable windows;
wenzelm [Sat, 22 May 2010 22:30:37 +0200] rev 37068
access statically typed dockable windows;
Sat, 22 May 2010 22:05:41 +0200 simplified dockables using class Dockable;
wenzelm [Sat, 22 May 2010 22:05:41 +0200] rev 37067
simplified dockables using class Dockable;
Sat, 22 May 2010 21:48:01 +0200 generic dockable window;
wenzelm [Sat, 22 May 2010 21:48:01 +0200] rev 37066
generic dockable window;
Sat, 22 May 2010 20:59:55 +0200 separate event bus and dockable for raw output (stdout);
wenzelm [Sat, 22 May 2010 20:59:55 +0200] rev 37065
separate event bus and dockable for raw output (stdout);
Sat, 22 May 2010 20:37:59 +0200 more Mac OS problems;
wenzelm [Sat, 22 May 2010 20:37:59 +0200] rev 37064
more Mac OS problems;
Sat, 22 May 2010 20:37:20 +0200 ignore system messages;
wenzelm [Sat, 22 May 2010 20:37:20 +0200] rev 37063
ignore system messages;
Sat, 22 May 2010 20:20:51 +0200 use proper ISABELLE_PLATFORM instead of adhoc uname;
wenzelm [Sat, 22 May 2010 20:20:51 +0200] rev 37062
use proper ISABELLE_PLATFORM instead of adhoc uname;
Sat, 22 May 2010 20:10:11 +0200 refrain from using bold within the term language -- looks odd in Lobo with error/warning background;
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;
Sat, 22 May 2010 20:02:26 +0200 tuned;
wenzelm [Sat, 22 May 2010 20:02:26 +0200] rev 37060
tuned;
(0) -30000 -10000 -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 +10000 +30000 tip