Fri, 25 Apr 2014 12:56:24 +0200 obsolete;
wenzelm [Fri, 25 Apr 2014 12:56:24 +0200] rev 56716
obsolete;
Fri, 25 Apr 2014 12:51:08 +0200 clarified Session.Consumer, with Session.Outlet managed by dispatcher thread;
wenzelm [Fri, 25 Apr 2014 12:51:08 +0200] rev 56715
clarified Session.Consumer, with Session.Outlet managed by dispatcher thread; eliminated old actors;
Fri, 25 Apr 2014 12:27:18 +0200 tuned comments;
wenzelm [Fri, 25 Apr 2014 12:27:18 +0200] rev 56714
tuned comments;
Fri, 25 Apr 2014 11:09:59 +0200 more robust prover termination;
wenzelm [Fri, 25 Apr 2014 11:09:59 +0200] rev 56713
more robust prover termination;
Fri, 25 Apr 2014 10:51:57 +0200 more explicit checks;
wenzelm [Fri, 25 Apr 2014 10:51:57 +0200] rev 56712
more explicit checks;
Thu, 24 Apr 2014 23:21:00 +0200 tuned signature;
wenzelm [Thu, 24 Apr 2014 23:21:00 +0200] rev 56711
tuned signature;
Thu, 24 Apr 2014 23:13:17 +0200 more uniform warning/error handling, potentially with propagation to send_wait caller;
wenzelm [Thu, 24 Apr 2014 23:13:17 +0200] rev 56710
more uniform warning/error handling, potentially with propagation to send_wait caller;
Thu, 24 Apr 2014 23:02:10 +0200 more careful shutdown (amending f2f53f7046f4);
wenzelm [Thu, 24 Apr 2014 23:02:10 +0200] rev 56709
more careful shutdown (amending f2f53f7046f4);
Thu, 24 Apr 2014 22:41:03 +0200 misc tuning;
wenzelm [Thu, 24 Apr 2014 22:41:03 +0200] rev 56708
misc tuning;
Thu, 24 Apr 2014 22:20:36 +0200 obsolete;
wenzelm [Thu, 24 Apr 2014 22:20:36 +0200] rev 56707
obsolete;
(0) -30000 -10000 -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 +10000 tip