2010-08-15 wenzelm 2010-08-15 some derived operations on Text.Range;
2010-08-15 wenzelm 2010-08-15 specific types Text.Offset and Text.Range; minor tuning;
2010-08-13 wenzelm 2010-08-13 explicit Document.State value, instead of individual state variables in Session, Command, Document; Session.snapshot: pure value based on Document.State; Document.edit_texts: no treatment of state assignment here;
2010-08-11 wenzelm 2010-08-11 consider command state as part of Snapshot, not Document;
2010-08-07 wenzelm 2010-08-07 more explicit treatment of Swing thread context; Document_Model.snapshot: require Swing thread;
2010-08-05 wenzelm 2010-08-05 renamed to_current to convert, and from_current to revert;
2010-08-05 wenzelm 2010-08-05 Change.Snapshot: include from_current/to_current here, with precomputed changes;
2010-08-05 wenzelm 2010-08-05 explicit Change.Snapshot and Document.Node; misc tuning and clarification; Document_View: explicitly highlight outdated command status;
2010-08-05 wenzelm 2010-08-05 simplified/refined document model: collection of named nodes, without proper dependencies yet; moved basic type definitions for ids and edits from Isar_Document to Document; removed begin_document/end_document for now -- nodes emerge via edits; edits refer to named nodes explicitly;
2010-05-28 wenzelm 2010-05-28 eliminated hard tabs;
2010-05-20 wenzelm 2010-05-20 explicit Command.Status.UNDEFINED -- avoid fragile/cumbersome treatment of Option[State];
2010-05-08 wenzelm 2010-05-08 tuned headers;
2010-03-30 wenzelm 2010-03-30 adapted to Scala 2.8.0 Beta 1;
2010-01-11 wenzelm 2010-01-11 incorporate "proofdocument" part into main Isabelle/Pure.jar -- except for html_panel.scala, which depends on external library (Lobo/Cobra browser);
2010-01-11 wenzelm 2010-01-11 more tobust treatment of Document.current_state; some timing;
2010-01-10 wenzelm 2010-01-10 further tuning of command_start;
2010-01-10 wenzelm 2010-01-10 iterators for ranges of commands/starts -- avoid extra array per document; try/finally for saved_color; misc tuning;
2010-01-03 wenzelm 2010-01-03 more explicit treatment of command/document state; misc tuning and clarification;
2010-01-01 wenzelm 2010-01-01 renamed current_document to recent_document (might be a bit older than current_change); Change: explicit future value of Document.Change instead of implicit lookup in Session database; Document_Model: apply Document.text_edits here (as future);
2009-12-30 wenzelm 2009-12-30 maintain generic session entities -- cover commands, states, etc. (but not yet documents);
2009-12-16 wenzelm 2009-12-16 explicit object Session.Global_Settings; misc tuning;
2009-12-15 wenzelm 2009-12-15 direct apply for Document_Model and Document_View;
2009-12-15 wenzelm 2009-12-15 split Theory_View into Document_Model (connected to Buffer) and Document_View (connected to JEditTextArea); incorporate Document_Overview into Document_View; eliminated Plugin.mapping in favour of direct association via generic properties; support several views per model; misc tuning;
2009-12-10 wenzelm 2009-12-10 class Session models full session, with or without prover process (cf. heaps, browser_info); replaced Prover by Session, with a singleton instance in Isabelle plugin (shared by all active buffers); misc cleanup of Session vs. Plugin instance; eliminated Prover_Setup -- maintain mapping of JEditBuffer <-> Theory_View directly; misc tuning and simplification;
2009-12-08 wenzelm 2009-12-08 misc modernization of names;
2009-12-08 wenzelm 2009-12-08 misc rearrangement of files;