isabelle: Changelog

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;

wenzelm [Fri, 25 Apr 2014 12:59:33 +0200] rev 56717

tuned whitespace;

wenzelm [Fri, 25 Apr 2014 12:56:24 +0200] rev 56716

obsolete;

wenzelm [Fri, 25 Apr 2014 12:51:08 +0200] rev 56715

clarified Session.Consumer, with Session.Outlet managed by dispatcher thread; eliminated old actors;

wenzelm [Fri, 25 Apr 2014 12:27:18 +0200] rev 56714

tuned comments;

wenzelm [Fri, 25 Apr 2014 11:09:59 +0200] rev 56713

more robust prover termination;

wenzelm [Fri, 25 Apr 2014 10:51:57 +0200] rev 56712

more explicit checks;

wenzelm [Thu, 24 Apr 2014 23:21:00 +0200] rev 56711

tuned signature;

wenzelm [Thu, 24 Apr 2014 23:13:17 +0200] rev 56710

more uniform warning/error handling, potentially with propagation to send_wait caller;

wenzelm [Thu, 24 Apr 2014 23:02:10 +0200] rev 56709

more careful shutdown (amending f2f53f7046f4);

isabelle