2014-04-25 wenzelm [Fri, 25 Apr 2014 13:29:56 +0200] rev 56718
replaced manager Actor by Consumer_Thread, which is lazy to defer its start to actual Handler init time;
src/Pure/Concurrent/consumer_thread.scala src/Pure/Tools/simplifier_trace.scala

2014-04-25 wenzelm [Fri, 25 Apr 2014 12:59:33 +0200] rev 56717
tuned whitespace;
src/Pure/Tools/simplifier_trace.scala

2014-04-25 wenzelm [Fri, 25 Apr 2014 12:56:24 +0200] rev 56716
obsolete;
src/Pure/System/event_bus.scala src/Pure/build-jars

2014-04-25 wenzelm [Fri, 25 Apr 2014 12:51:08 +0200] rev 56715
clarified Session.Consumer, with Session.Outlet managed by dispatcher thread;
eliminated old actors;
src/Pure/PIDE/query_operation.scala src/Pure/PIDE/session.scala src/Pure/Tools/simplifier_trace.scala src/Tools/jEdit/src/document_view.scala src/Tools/jEdit/src/find_dockable.scala src/Tools/jEdit/src/info_dockable.scala src/Tools/jEdit/src/monitor_dockable.scala src/Tools/jEdit/src/output_dockable.scala src/Tools/jEdit/src/plugin.scala src/Tools/jEdit/src/protocol_dockable.scala src/Tools/jEdit/src/raw_output_dockable.scala src/Tools/jEdit/src/simplifier_trace_dockable.scala src/Tools/jEdit/src/sledgehammer_dockable.scala src/Tools/jEdit/src/syslog_dockable.scala src/Tools/jEdit/src/theories_dockable.scala src/Tools/jEdit/src/timing_dockable.scala

2014-04-25 wenzelm [Fri, 25 Apr 2014 12:27:18 +0200] rev 56714
tuned comments;
src/Pure/System/isabelle_process.scala

2014-04-25 wenzelm [Fri, 25 Apr 2014 11:09:59 +0200] rev 56713
more robust prover termination;
src/Pure/PIDE/session.scala

2014-04-25 wenzelm [Fri, 25 Apr 2014 10:51:57 +0200] rev 56712
more explicit checks;
src/Pure/PIDE/session.scala

2014-04-24 wenzelm [Thu, 24 Apr 2014 23:21:00 +0200] rev 56711
tuned signature;
src/Pure/PIDE/document.scala src/Pure/PIDE/session.scala src/Tools/jEdit/src/pretty_text_area.scala

2014-04-24 wenzelm [Thu, 24 Apr 2014 23:13:17 +0200] rev 56710
more uniform warning/error handling, potentially with propagation to send_wait caller;
src/Pure/PIDE/session.scala

2014-04-24 wenzelm [Thu, 24 Apr 2014 23:02:10 +0200] rev 56709
more careful shutdown (amending f2f53f7046f4);
src/Pure/PIDE/session.scala