src/Tools/jEdit/src/session_dockable.scala
2012-03-14 wenzelm 2012-03-14 prefer asynchronous context switch from actor to swing thread, to reduce danger of deadlocks; more robust use of Session.Commands_Changed vs. Document_View.visible_range as asynchronous swing task, taking into account that the model might have switched in the meantime (e.g. via fast clicking on hypersearch while the prover is crunching);
2012-03-03 wenzelm 2012-03-03 tuned signature -- emphasize Isabelle_Process Input vs. Output;
2012-03-03 wenzelm 2012-03-03 explicit syslog_limit reduces danger of low-level message flooding; tuned;
2012-03-01 wenzelm 2012-03-01 clarified document nodes (full import graph) vs. node_status (non-preloaded theories); tuned;
2012-02-27 wenzelm 2012-02-27 more explicit development graph;
2012-02-26 wenzelm 2012-02-26 include warning messages in node status;
2012-02-26 wenzelm 2012-02-26 more abstract class Document.Version; tuned (NB: Version.nodes is total);
2011-12-01 wenzelm 2011-12-01 clarified modules (again) -- NB: both Document and Protocol are specific to this particular prover;
2011-11-29 wenzelm 2011-11-29 clarified modules;
2011-11-28 wenzelm 2011-11-28 renamed Isabelle_Markup to Isabelle_Rendering to emphasize its meaning and make room for Pure Isabelle_Markup module;
2011-09-27 wenzelm 2011-09-27 proper platform_file_url;
2011-09-27 wenzelm 2011-09-27 observe base URL of rendered document; added PIDE logo;
2011-09-20 wenzelm 2011-09-20 more careful treatment of initial update, similar to output panel;
2011-09-19 wenzelm 2011-09-19 double clicks switch to document node buffer;
2011-09-19 wenzelm 2011-09-19 tuned;
2011-09-19 wenzelm 2011-09-19 explicit border independent of UI (cf. ad5883642a83, 2bec3b7514cf);
2011-09-18 wenzelm 2011-09-18 additional space for borderless UI;
2011-09-18 wenzelm 2011-09-18 more robust treatment of empty insets (NB: border may be null on some UIs, e.g. Windows);
2011-09-18 wenzelm 2011-09-18 graph traversal in topological order; Session.snapshot() with sensible defaults;
2011-09-17 wenzelm 2011-09-17 more precise painting;
2011-09-17 wenzelm 2011-09-17 more elaborate Node_Renderer, which paints node_name.theory only;
2011-09-10 wenzelm 2011-09-10 stronger colors (as background);
2011-09-10 wenzelm 2011-09-10 some color scheme for theory status;
2011-09-10 wenzelm 2011-09-10 some keyboard shortcuts for important actions; proper label properties, which are also required for jEdit "Shortcuts" options panel;
2011-09-10 wenzelm 2011-09-10 explicit jEdit actions -- to enable key mappings, for example;
2011-09-07 wenzelm 2011-09-07 added "check" button: adhoc change to full buffer perspective;
2011-09-07 wenzelm 2011-09-07 added "cancel" button based on cancel_execution, not interrupt (cf. 156be0e43336);
2011-09-06 wenzelm 2011-09-06 more specific message channels to avoid potential bottle-neck of raw_messages;
2011-09-03 wenzelm 2011-09-03 some support to prune_history; clarified signature: recent_stable is supposed to be always defined;
2011-09-01 wenzelm 2011-09-01 sort wrt. theory name;
2011-09-01 wenzelm 2011-09-01 more flexible sorting; tuned display;
2011-09-01 wenzelm 2011-09-01 more abstract Document.Node.Name; tuned signature;
2011-08-31 wenzelm 2011-08-31 crude display of node status; tuned signature;
2011-08-31 wenzelm 2011-08-31 some support for theory status overview;
2011-08-20 wenzelm 2011-08-20 discontinued "Interrupt", which could disturb administrative tasks of the document model;
2011-08-19 wenzelm 2011-08-19 editable raw text areas: allow user to clear content;
2011-07-09 wenzelm 2011-07-09 echo prover input via raw_messages, for improved protocol tracing;
2011-07-04 wenzelm 2011-07-04 quasi-static Isabelle_System -- reduced tendency towards "functorial style";
2011-06-30 wenzelm 2011-06-30 prefer Isabelle path algebra;
2011-06-23 wenzelm 2011-06-23 explicit import java.lang.System to prevent odd scope problems;
2011-06-08 wenzelm 2011-06-08 moved sources -- eliminated Netbeans artifact of jedit package directory;