2014-07-23 ago clarified module name: facilitate alternative GUI frameworks;
2014-05-21 ago more uniform Font_Info.Zoom_Box;
2014-05-08 ago tuned GUI;
2014-05-08 ago clarified detach_operation: ignore empty output;
2014-04-25 ago clarified Session.Consumer, with Session.Outlet managed by dispatcher thread;
2014-04-22 ago avoid "Adaptation of argument list by inserting ()" -- deprecated in scala-2.11.0;
2014-04-19 ago clarified actor plumbing;
2014-04-19 ago more elementary option sledgehammer_provers, avoiding complications of defaults from ML side (NB: guessing at number of cores does not make sense in PIDE);
2014-04-19 ago clarified tooltip_lines: HTML.encode already takes care of newline (but not space);
2014-03-01 ago tuned signature -- separate module Font_Info;
2014-02-20 ago tuned imports;
2013-11-21 ago back to Status.FINISHED and immediate remove_overlay (reverting 6e69f9ca8f1c), which is important to avoid restart of print function after edits + re-assignment of located command;
2013-11-06 ago tuned tooltips;
2013-09-25 ago explicit Status.REMOVED, which is required e.g. for sledgehammer to retrieve command of sendback exec_id (in contrast to find_theorems, see c2da0d3b974d);
2013-09-24 ago focus text field, to capture key events even on Mac OS X look-and-feel;
2013-09-22 ago focus on default component according to jEdit window management;
2013-09-18 ago improved FlowLayout for wrapping of components over multiple lines;
2013-08-24 ago more uniform treatment of Swing_Thread context switch: prefer asynchronous Swing_Thread.later from actor;
2013-08-17 ago prefer system option sledgehammer_timeout, with standard GUI in jEdit Plugin Options;
2013-08-17 ago more robust startup;
2013-08-17 ago some protocol to determine provers according to ML;
2013-08-17 ago eliminated pointless subgoal argument;
2013-08-12 ago tuned signature -- more abstract PIDE editor operations;
2013-08-09 ago tuned GUI;
2013-08-09 ago more abstract consume_status operation;
2013-08-09 ago more active "provers" field, which increases chances that its history is stored;
2013-08-09 ago cancel_query via direct access to the exec_id of the running query process;
2013-08-08 ago dockable window for Sledgehammer, based on asynchronous/parallel query operation;