src/Tools/jEdit/src/protocol_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 clarified terminology of raw protocol messages;
2012-03-03 wenzelm 2012-03-03 tuned signature -- emphasize Isabelle_Process Input vs. Output;
2012-01-05 wenzelm 2012-01-05 tuned signature;
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;