isabelle: Changelog

wenzelm [Thu, 15 Jan 2015 12:54:08 +0100] rev 59369

more informative build_theories_result: cumulative Runtime.exn_message;

wenzelm [Thu, 15 Jan 2015 11:39:58 +0100] rev 59368

tuned;

wenzelm [Wed, 14 Jan 2015 17:24:55 +0100] rev 59367

more type-safe handler interface; proper progress for Build.Handler;

wenzelm [Wed, 14 Jan 2015 16:27:19 +0100] rev 59366

clarified build_theories: proper protocol handler;

wenzelm [Wed, 14 Jan 2015 16:23:33 +0100] rev 59365

added Promise.cancel;

wenzelm [Wed, 14 Jan 2015 14:28:52 +0100] rev 59364

clarified build_theories;

wenzelm [Wed, 14 Jan 2015 11:52:08 +0100] rev 59363

added Path.decode in ML, in correspondence to Path.encode in Scala;

wenzelm [Tue, 13 Jan 2015 21:46:09 +0100] rev 59362

some support for PIDE batch session; clarified Thy_Info.use_thys_options and corresponding protocol command;

isabelle