src/Tools/jEdit/src/prover/MarkupNode.scala
2009-09-06 wenzelm 2009-09-06 sidekick root data: set buffer length to avoid crash of initial caret move; separate Markup_Node, Markup_Tree, Markup_Text; added Markup_Text.flatten; Command.type_at: null-free version; eliminated Command.RootInfo; simplified printing of TypeInfo, RefInfo; added Command.content(Int, Int);
2009-09-05 wenzelm 2009-09-05 tuned MarkupNode argument order; tuned;
2009-09-05 wenzelm 2009-09-05 eliminated MarkupInfo, moved particular variants into object Command;
2009-09-05 wenzelm 2009-09-05 removed dead code;
2009-09-05 wenzelm 2009-09-05 MarkupNode: removed id;
2009-09-04 wenzelm 2009-09-04 simplified MarkupNode -- independent of Command and ProofDocument; tuned;
2009-09-04 wenzelm 2009-09-04 minor tuning;
2009-09-03 wenzelm 2009-09-03 IsabelleSideKickParser: incorporate former MarkupNode.markup2default_node, observe stopped flag; tuned;
2009-08-27 immler 2009-08-27 Command and Command_State handle results from prover as Accumulator accumulating results in State; prover outputs any result
2009-08-03 immler 2009-08-03 add is a private function
2009-07-15 immler 2009-07-15 decode offsets with respect to symbols
2009-06-02 immler 2009-06-02 merged; resolved superficial conflicts
2009-06-02 immler 2009-06-02 return unchanged node on errors
2009-06-02 wenzelm 2009-06-02 superficial tuning;
2009-05-27 immler 2009-05-27 fixed delete markup
2009-05-22 immler 2009-05-22 implemented IsabelleHyperlinkSource (only links inside the current buffer)
2009-05-22 immler 2009-05-22 let MarkupNode carry arbitrary information
2009-05-22 immler 2009-05-22 chaned '+'
2009-05-22 immler 2009-05-22 reduced to one markup-tree
2009-05-22 immler 2009-05-22 implemented filter on markup-tree
2009-05-22 immler 2009-05-22 fixed flatten
2009-04-29 immler 2009-04-29 immutable markup-nodes; more seperate nodes in command; restructured handling of markups in prover
2009-04-27 immler 2009-04-27 included information on ML status messages in Sidekick's status-window
2009-04-22 immler 2009-04-22 abs. stops, markup nodes depend on doc-version; fixed missing positions in ProofDocument.text_changed; relink only changed commands in ProofDocument.token_changed
2009-02-02 immler 2009-02-02 implemented markTokens; moved choose_color to DynamicTokenMarker and extended to choose_style
2009-02-01 immler 2009-02-01 renamed fields of MarkupNode; implemented flatten and leafs
2009-01-27 wenzelm 2009-01-27 tuned whitespace;
2009-01-19 wenzelm 2009-01-19 simplified implicit convertion Int => Position;
2008-12-19 wenzelm 2008-12-19 added some headers and comments;
2008-12-10 immler 2008-12-10 information on command-phase left of scrollbar
2008-12-10 immler 2008-12-10 structure of markup-tree in scala, keep track of swing-nodes in background
2008-12-08 immler 2008-12-08 MarkupNode instead of DefaultMutableTreeNode and RelativeAsset