isabelle: Changelog

wenzelm [Mon, 07 Dec 2009 00:05:21 +0100] rev 34749

use IsabelleText font; explicit <pre> element; relayout in swing thread -- paranoia mode;

wenzelm [Sun, 06 Dec 2009 20:50:07 +0100] rev 34748

reduced logging;

wenzelm [Fri, 04 Dec 2009 23:10:11 +0100] rev 34747

tuned message markup;

wenzelm [Fri, 04 Dec 2009 23:07:40 +0100] rev 34746

plain results, no markup here;

wenzelm [Fri, 04 Dec 2009 17:14:44 +0100] rev 34745

basic setup for Cobra HTML renderer;

wenzelm [Fri, 04 Dec 2009 17:14:16 +0100] rev 34744

results: XML.Tree;

wenzelm [Sat, 14 Nov 2009 16:53:49 +0100] rev 34743

basic platform update;

wenzelm [Thu, 17 Sep 2009 14:15:54 +0200] rev 34742

Prover: private Actor;

wenzelm [Wed, 16 Sep 2009 22:01:11 +0200] rev 34741

tuned;

wenzelm [Wed, 16 Sep 2009 17:13:14 +0200] rev 34740

misc tuning;

isabelle