src/Pure/PIDE/document.scala
2013-11-17 wenzelm 2013-11-17 explicit indication of thy_load commands;
2013-10-12 wenzelm 2013-10-12 more strict find_command -- avoid invalid hyperlink_command;
2013-08-12 wenzelm 2013-08-12 prefer PIDE editor operations; apply_query: insist in non-outdated snapshot via editor.current_command; tuned signature;
2013-08-12 wenzelm 2013-08-12 central management of Document.Overlays, independent of Document_Model;
2013-08-12 wenzelm 2013-08-12 tuned -- use Multi_Map;
2013-08-12 wenzelm 2013-08-12 tuned signature;
2013-08-08 wenzelm 2013-08-08 proper low-level comparison -- heed warning by Scala compiler;
2013-08-07 wenzelm 2013-08-07 maintain commands together with index -- avoid redundant reconstruction of full_index;
2013-08-07 wenzelm 2013-08-07 more elementary list structures for markup tree traversal;
2013-08-07 wenzelm 2013-08-07 more tight interface for markup cumulate/select: avoid duplicate application, allow to defer decision about definedness;
2013-08-07 wenzelm 2013-08-07 tuned signature;
2013-08-05 wenzelm 2013-08-05 tuned signature -- more uniform treatment of overlays as command mapping;
2013-08-05 wenzelm 2013-08-05 commands with overlay remain visible, to avoid loosing printed output;
2013-08-02 wenzelm 2013-08-02 maintain overlays within node perspective; tuned signature;
2013-07-31 wenzelm 2013-07-31 allow explicit indication of required node: full eval, no prints;
2013-07-09 wenzelm 2013-07-09 tuned;
2013-07-09 wenzelm 2013-07-09 more formal type assign_update: avoid duplicate results and redundant update of global State.execs;
2013-07-09 wenzelm 2013-07-09 tuned signature -- NB: Command.read is actually part of Command.eval;
2013-07-09 wenzelm 2013-07-09 tuned protocol terminology; tuned signature;
2013-07-05 wenzelm 2013-07-05 tuned signature;
2013-07-05 wenzelm 2013-07-05 explicit module Document_ID as source of globally unique identifiers across ML/Scala;
2013-07-04 wenzelm 2013-07-04 separate exec_id assignment for Command.print states, without affecting result of eval; tuned signature; tuned;
2013-07-03 wenzelm 2013-07-03 tuned;
2013-03-23 wenzelm 2013-03-23 structural equality for Command.Results; more general Command.State.eq_content;
2013-02-27 wenzelm 2013-02-27 discontinued obsolete header "files" -- these are loaded explicitly after exploring dependencies;
2013-02-27 wenzelm 2013-02-27 discontinued obsolete 'uses' within theory header;
2012-12-13 wenzelm 2012-12-13 identify dialogs via official serial and maintain as result message; clarified Protocol.is_inlined: suppress result/tracing/state messages uniformly; cumulate_markup/select_markup depending on command state; explicit Rendering.output_messages; tuned source structure;
2012-11-25 wenzelm 2012-11-25 tuned signature -- avoid intrusion of module Path in generic PIDE concepts;
2012-10-01 wenzelm 2012-10-01 removed unused module Blob;
2012-09-28 wenzelm 2012-09-28 tuned signature;
2012-09-22 wenzelm 2012-09-22 accumulate under exec_id as well;
2012-09-18 wenzelm 2012-09-18 some support for inital command markup; tuned signature;
2012-09-13 wenzelm 2012-09-13 more efficient painting based on cached result;
2012-08-24 wenzelm 2012-08-24 prefer jEdit file name representation (potentially via VFS); tuned;
2012-08-14 wenzelm 2012-08-14 even more defensive path expansion (see also 8d381fdef898);
2012-08-07 wenzelm 2012-08-07 simplified Document.Node.Header -- internalized errors;
2012-08-07 wenzelm 2012-08-07 tuned signature;
2012-04-07 wenzelm 2012-04-07 added static command status markup, to emphasize accepted but unassigned/unparsed commands (notably in overview panel);
2012-04-06 wenzelm 2012-04-06 discontinued obsolete last_execs (cf. cd3ab7625519);
2012-03-17 wenzelm 2012-03-17 misc tuning to accomodate scala-2.10.0-M2;
2012-03-15 wenzelm 2012-03-15 more recent recent_syntax, e.g. relevant for document rendering during startup;
2012-03-15 wenzelm 2012-03-15 basic support for outer syntax keywords in theory header;
2012-03-15 wenzelm 2012-03-15 maintain Version.syntax within document state; clarified Outer_Syntax.empty vs. Outer_Syntax.init, which pulls in Isabelle_System symbol completions;
2012-03-15 wenzelm 2012-03-15 explicit Outer_Syntax.Decl;
2012-03-15 wenzelm 2012-03-15 some support for outer syntax keyword declarations within theory header; more uniform Thy_Header.header as argument for begin_theory etc.;
2012-03-04 wenzelm 2012-03-04 removed obsolete proper_command_at (cf. 03a2dc9e0624);
2012-03-01 wenzelm 2012-03-01 clarified document nodes (full import graph) vs. node_status (non-preloaded theories); tuned;
2012-02-29 wenzelm 2012-02-29 clarified module Thy_Load; more precise graph based on Document.Node.Deps with actual Node.Name dependencies;
2012-02-27 wenzelm 2012-02-27 more explicit development graph;
2012-02-27 wenzelm 2012-02-27 prefer final ADTs -- prevent ooddities;
2012-02-26 wenzelm 2012-02-26 more abstract class Document.State;
2012-02-26 wenzelm 2012-02-26 more abstract class Document.State.Assignment;
2012-02-26 wenzelm 2012-02-26 tuned signature;
2012-02-26 wenzelm 2012-02-26 more abstract class Document.Version; tuned (NB: Version.nodes is total);
2012-02-26 wenzelm 2012-02-26 more abstract class Document.Node;
2012-02-26 wenzelm 2012-02-26 more abstract class Document.History;
2012-02-26 wenzelm 2012-02-26 more abstract class Document.Change;
2012-02-26 wenzelm 2012-02-26 tuned;
2012-01-14 wenzelm 2012-01-14 tuned signature;
2012-01-12 wenzelm 2012-01-12 improved select_markup: include filtering of defined results;