isabelle: Changelog

wenzelm [Fri, 04 Sep 2009 23:43:42 +0200] rev 34704

simplified MarkupNode -- independent of Command and ProofDocument; tuned;

wenzelm [Fri, 04 Sep 2009 23:04:20 +0200] rev 34703

minor tuning;

wenzelm [Thu, 03 Sep 2009 20:10:23 +0200] rev 34702

sorted;

wenzelm [Thu, 03 Sep 2009 17:48:02 +0200] rev 34701

IsabelleSideKickParser: incorporate former MarkupNode.markup2default_node, observe stopped flag; tuned;

wenzelm [Thu, 03 Sep 2009 17:26:25 +0200] rev 34700

tuned imports;

wenzelm [Thu, 03 Sep 2009 16:47:42 +0200] rev 34699

tuned;

wenzelm [Thu, 03 Sep 2009 15:09:07 +0200] rev 34698

tuned;

wenzelm [Thu, 03 Sep 2009 14:46:42 +0200] rev 34697

State: immutable; misc tuning and simplification;

wenzelm [Thu, 03 Sep 2009 12:15:39 +0200] rev 34696

tuned;

wenzelm [Thu, 03 Sep 2009 11:52:05 +0200] rev 34695

minor tuning;

isabelle