isabelle: Changelog

wenzelm [Mon, 07 Dec 2009 23:01:13 +0100] rev 34755

misc updates;

wenzelm [Mon, 07 Dec 2009 23:00:30 +0100] rev 34754

obsolete;

wenzelm [Mon, 07 Dec 2009 22:59:48 +0100] rev 34753

use IsabelleText by default;

wenzelm [Mon, 07 Dec 2009 22:41:32 +0100] rev 34752

misc updates;

wenzelm [Mon, 07 Dec 2009 22:41:15 +0100] rev 34751

simplified treatment of Isabelle fonts, via Isabelle_System.register_fonts (requires Java 1.6);

wenzelm [Mon, 07 Dec 2009 22:40:01 +0100] rev 34750

removed ScrollerDockable, which is based on discontinued Flying Saucer renderer;

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;

isabelle