src/Tools/jEdit/src/prover/Command.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 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 tuned;
2009-09-03 wenzelm 2009-09-03 tuned;
2009-09-03 wenzelm 2009-09-03 State: immutable; misc tuning and simplification;
2009-08-27 immler 2009-08-27 lazy fields
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-27 immler 2009-08-27 trait Accumulator; template for State accumulating results from prover
2009-08-27 immler 2009-08-27 Command notifies changes
2009-08-13 immler 2009-08-13 Text is not present any more
2009-07-27 wenzelm 2009-07-27 avoid internal "add" method;
2009-07-15 immler 2009-07-15 decode offsets with respect to symbols
2009-07-08 immler 2009-07-08 commands carrying state-information
2009-07-04 wenzelm 2009-07-04 added symbol_index (presently unused); misc tuning;
2009-06-04 wenzelm 2009-06-04 produce ids via Isabelle.system (http://isabelle.in.tum.de/repos/isabelle/rev/c23663825e23);
2009-06-02 immler 2009-06-02 merged; resolved superficial conflicts
2009-06-02 immler 2009-06-02 ignore unchanged commands
2009-06-02 wenzelm 2009-06-02 type_at: no quotes;
2009-06-02 wenzelm 2009-06-02 superficial tuning;
2009-05-27 immler 2009-05-27 fixed delete markup
2009-05-27 immler 2009-05-27 treat comments like seperate commands, as they could also be at the beginning of a document
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 ML types in tooltip
2009-05-22 immler 2009-05-22 reduced to one markup-tree
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 seperate node for syntax-highlighting
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-03-19 immler 2009-03-19 merged; resolved conflicts (kept own versions)
2009-03-02 wenzelm 2009-03-02 merged, resolving minor conflicts;
2009-03-02 wenzelm 2009-03-02 preliminary/failed attempt to use the new IsarDocument access model to the prover; misc tuning;
2009-02-19 immler 2009-02-19 tokens and commands as lists
2009-02-01 immler 2009-02-01 merge
2009-01-24 immler 2009-01-24 take content of asset for description in status-view of Sidekick
2009-01-27 wenzelm 2009-01-27 eliminated Command.Status.REMOVE/REMOVED; added state_id; refined add_result: running flag;
2009-01-27 wenzelm 2009-01-27 state_results: separate buffer for messages from running command; result_document: append all messages; misc tuning;
2009-01-27 wenzelm 2009-01-27 more explicit indication of mutable collections;
2009-01-20 wenzelm 2009-01-20 Command: added name field and toString;
2009-01-20 wenzelm 2009-01-20 Command: turned content into plain val;
2009-01-20 wenzelm 2009-01-20 tuned handling of accumulated results;
2009-01-19 wenzelm 2009-01-19 joined Document with ProofDocument; misc tuning;
2009-01-19 wenzelm 2009-01-19 eliminated explicit method equals, which is always behind == / != anyway in Scala;
2009-01-19 wenzelm 2009-01-19 superficial tuning;
2009-01-19 wenzelm 2009-01-19 replaced type parameter C by Command (thanks to globally simultaneous scope);
2009-01-16 wenzelm 2009-01-16 tuned import;
2008-12-29 wenzelm 2008-12-29 - renamed Command.Phase to Command.Status (cf. src/Pure/Isar/isar.ML);
2008-12-28 wenzelm 2008-12-28 command id via Isabelle.plugin; tuned command interface; tuned;
2008-12-19 wenzelm 2008-12-19 misc tuning;
2008-12-19 wenzelm 2008-12-19 added some headers and comments;
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
2008-12-07 immler 2008-12-07 interpretation of STATUS messages in one place, deleting inner syntax
2008-12-07 immler 2008-12-07 no syserr
2008-12-07 immler 2008-12-07 handle statuses in Command
2008-12-07 immler 2008-12-07 command property: offset relative to start of command