src/Tools/jEdit/src/proofdocument/ProofDocument.scala
2009-09-01 wenzelm 2009-09-01 use Linear_Set from Isabelle/Pure.jar;
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 Command notifies changes
2009-08-27 immler 2009-08-27 fixed special case; fixed conversion of offsets
2009-08-07 immler 2009-08-07 Change consisting of a list of Edits
2009-07-27 wenzelm 2009-07-27 removed unused imports;
2009-07-15 immler 2009-07-15 equal should be included
2009-07-08 immler 2009-07-08 commands carrying state-information
2009-07-08 immler 2009-07-08 activation
2009-07-08 immler 2009-07-08 remember removed text
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 linearset works faster here
2009-06-02 immler 2009-06-02 lists work faster here
2009-06-02 immler 2009-06-02 fixed duplicate document-id
2009-06-02 immler 2009-06-02 ignore unchanged commands
2009-06-02 immler 2009-06-02 ignore unchanged tokens
2009-06-02 wenzelm 2009-06-02 superficial tuning;
2009-05-27 immler 2009-05-27 treat comments like seperate commands, as they could also be at the beginning of a document
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-04-20 immler 2009-04-20 incomplete changes of immutable tokens and commands
2009-04-16 immler 2009-04-16 prepared proofdocument for only needed changes
2009-04-06 immler 2009-04-06 proofdocument-versions get id from changes
2009-03-20 immler 2009-03-20 changes of text with unique id
2009-03-19 immler 2009-03-19 merged; resolved conflicts (kept own versions)
2009-03-19 immler 2009-03-19 Prover as actor managing ProofDocument-versions (removed EventBus structural_changes); added actor to TheoryView, receiving updates of Commands (removed EventBus command_info); Prover.edit_document from Makarius 'broken' repository; LinearSet: fixed prev
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-03-08 immler 2009-03-08 ProofDocument without state handle text-events via actor
2009-03-05 immler 2009-03-05 *very* superficial usage of LinearSet
2009-02-19 immler 2009-02-19 tokens and commands as lists
2009-02-01 immler 2009-02-01 more flexible commands-iterators
2009-01-27 wenzelm 2009-01-27 ProofDocument: pass is_command_keyword directly, not via full-blown Prover object;
2009-01-20 wenzelm 2009-01-20 renamed getNextCommandContaining to find_command_at; more de-camelization;
2009-01-20 wenzelm 2009-01-20 misc tuning -- de-camelization;
2009-01-20 wenzelm 2009-01-20 Command: turned content into plain val;
2009-01-19 wenzelm 2009-01-19 joined Document with ProofDocument; misc tuning;
2009-01-19 wenzelm 2009-01-19 superficial tuning;
2009-01-19 wenzelm 2009-01-19 turned Token.Kind into Enumeration;
2009-01-19 wenzelm 2009-01-19 replaced type parameter C by Command (thanks to globally simultaneous scope);
2008-12-29 wenzelm 2008-12-29 replaced EventSource by EventBus; misc tuning;
2008-12-19 wenzelm 2008-12-19 added some headers and comments;
2008-12-19 wenzelm 2008-12-19 added some headers and comments;
2008-11-28 immler 2008-11-28 Token-functions with type-parameters
2008-11-28 immler 2008-11-28 moved methods to object Token
2008-11-28 immler 2008-11-28 arbitrary type for tokens
2008-10-19 wenzelm 2008-10-19 original sources from Johannes Hölzl a48e0c6ab1aea77c52d596f7efc007a543d3d10c with minor modifications of directory layout;