Sat, 05 Sep 2009 00:43:59 +0200 tuned MarkupNode argument order;
wenzelm [Sat, 05 Sep 2009 00:43:59 +0200] rev 34708
tuned MarkupNode argument order; tuned;
Sat, 05 Sep 2009 00:35:37 +0200 eliminated MarkupInfo, moved particular variants into object Command;
wenzelm [Sat, 05 Sep 2009 00:35:37 +0200] rev 34707
eliminated MarkupInfo, moved particular variants into object Command;
Sat, 05 Sep 2009 00:15:14 +0200 removed dead code;
wenzelm [Sat, 05 Sep 2009 00:15:14 +0200] rev 34706
removed dead code;
Sat, 05 Sep 2009 00:07:10 +0200 MarkupNode: removed id;
wenzelm [Sat, 05 Sep 2009 00:07:10 +0200] rev 34705
MarkupNode: removed id;
Fri, 04 Sep 2009 23:43:42 +0200 simplified MarkupNode -- independent of Command and ProofDocument;
wenzelm [Fri, 04 Sep 2009 23:43:42 +0200] rev 34704
simplified MarkupNode -- independent of Command and ProofDocument; tuned;
Fri, 04 Sep 2009 23:04:20 +0200 minor tuning;
wenzelm [Fri, 04 Sep 2009 23:04:20 +0200] rev 34703
minor tuning;
Thu, 03 Sep 2009 20:10:23 +0200 sorted;
wenzelm [Thu, 03 Sep 2009 20:10:23 +0200] rev 34702
sorted;
Thu, 03 Sep 2009 17:48:02 +0200 IsabelleSideKickParser: incorporate former MarkupNode.markup2default_node, observe stopped flag;
wenzelm [Thu, 03 Sep 2009 17:48:02 +0200] rev 34701
IsabelleSideKickParser: incorporate former MarkupNode.markup2default_node, observe stopped flag; tuned;
Thu, 03 Sep 2009 17:26:25 +0200 tuned imports;
wenzelm [Thu, 03 Sep 2009 17:26:25 +0200] rev 34700
tuned imports;
Thu, 03 Sep 2009 16:47:42 +0200 tuned;
wenzelm [Thu, 03 Sep 2009 16:47:42 +0200] rev 34699
tuned;
(0) -30000 -10000 -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 +10000 +30000 tip