src/Tools/jEdit/src/raw_output_dockable.scala
2014-07-23 wenzelm 2014-07-23 clarified module name: facilitate alternative GUI frameworks;
2014-04-25 wenzelm 2014-04-25 clarified Session.Consumer, with Session.Outlet managed by dispatcher thread; eliminated old actors;
2014-04-03 wenzelm 2014-04-03 more general prover operations;
2014-02-20 wenzelm 2014-02-20 tuned imports;
2013-07-29 wenzelm 2013-07-29 show displaced messages (e.g. from protocol thread) as raw output;
2012-11-25 wenzelm 2012-11-25 renamed main plugin object to PIDE;
2012-09-25 wenzelm 2012-09-25 tuned;
2012-09-18 wenzelm 2012-09-18 some actual rich text markup via XML.content_markup; tuned signature;
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;
2011-11-25 wenzelm 2011-11-25 retain stderr and include it in syslog, which is buffered and thus increases the chance that users see remains from crashes etc.;
2011-09-06 wenzelm 2011-09-06 more specific message channels to avoid potential bottle-neck of raw_messages;
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-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;