2010-08-30 wenzelm 2010-08-30 Command.results: ordered by serial number;
2010-08-12 wenzelm 2010-08-12 specific Session.Commands_Changed;
2010-08-11 wenzelm 2010-08-11 consider command state as part of Snapshot, not Document;
2010-08-07 wenzelm 2010-08-07 simplified type XML.Tree: embed Markup directly, avoid slightly odd triple; XML.cache_tree: actually store XML.Text as well; added;
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 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-07-20 wenzelm 2010-07-20 observe follow_caret (again);
2010-07-19 wenzelm 2010-07-19 Session: predefined real time parameters; Document_View: delayed caret handling, for improved reactivity; selected_command: proper_command_at ignores ignored commands;
2010-06-11 wenzelm 2010-06-11 tuned tooltips;
2010-05-28 wenzelm 2010-05-28 reuse main view.font from jEdit;
2010-05-27 wenzelm 2010-05-27 indicate prospective properties;
2010-05-27 wenzelm 2010-05-27 clarified auto_update vs. update; tuned;
2010-05-27 wenzelm 2010-05-27 more reactive message handling, notably for follow_caret mode; misc tuning and clarification;
2010-05-27 wenzelm 2010-05-27 Command.toString: include id for debugging; Command.consume: explicit forward, avoid dependency on Session and side-effect on event bus; State.+ without side-effect on event bus; Session.commands_changed: delayed command changes (outside of Swing thread), also subsumes former Session.results; Document_View: tuned commands_changed handling and caret listening; Document_View.selected_command: proper function, not event handler state; Output_Dockable: directly act upon commands_changed, not caret events (via former Session.results);
2010-05-22 wenzelm 2010-05-22 simplified dockables using class Dockable;
2010-05-21 wenzelm 2010-05-21 tuned zoom_box; tuned tooltips;
2010-05-21 wenzelm 2010-05-21 simplified message markup, using plain XML.Elem directly;
2010-05-21 wenzelm 2010-05-21 added checkboxes for debug/tracing filter; misc tuning;
2010-05-21 wenzelm 2010-05-21 added some tooltips;
2010-05-21 wenzelm 2010-05-21 HTML_Panel.handler as overridable method;
2010-05-21 wenzelm 2010-05-21 component resize: full handle_resize;
2010-05-20 wenzelm 2010-05-20 zoom font size;
2010-05-20 wenzelm 2010-05-20 try CheckBox instead of ToggleButton, which is visually confusing without window focus, e.g. in a floating instance (problem of MacOS look-and-feel);
2010-05-20 wenzelm 2010-05-20 handle component resize for output / HTML panel;
2010-05-20 wenzelm 2010-05-20 more systematic treatment of physical document wrt. font size etc.; eliminated (crude) double buffering; tuned;
2010-05-20 wenzelm 2010-05-20 explicit Command.Status.UNDEFINED -- avoid fragile/cumbersome treatment of Option[State];
2010-05-20 wenzelm 2010-05-20 inverted "Freeze" to "Follow", which is the default; update unconditionally;
2010-05-19 wenzelm 2010-05-19 basic controls to freeze/update prover results;
2010-05-11 wenzelm 2010-05-11 more precise pretty printing based on actual font metrics; removed obsolete relative margin;
2010-05-11 wenzelm 2010-05-11 support Isabelle plugin properties with defaults; font size relative to view.textsize of jEdit; margin relative to component width and approximative font metrics;
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-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-16 wenzelm 2009-12-16 explicit object Session.Global_Settings; misc tuning;
2009-12-15 wenzelm 2009-12-15 some explicit Swing_Thread guards;
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-10 wenzelm 2009-12-10 basic setup for HTML_Panel event handling;
2009-12-08 wenzelm 2009-12-08 renamed "raw output" to "protocol"; renamed "results" to "output";