isabelle: Changelog

wenzelm [Tue, 08 Aug 2017 22:13:05 +0200] rev 66379

maintain "consolidated" status of theory nodes, which means all evals are finished (but not necessarily prints nor imports);

wenzelm [Tue, 08 Aug 2017 12:21:29 +0200] rev 66378

clarified signature;

wenzelm [Tue, 08 Aug 2017 11:49:35 +0200] rev 66377

tuned;

eberlm <eberlm@in.tum.de> [Tue, 08 Aug 2017 13:31:48 +0200] rev 66376

Merged

eberlm <eberlm@in.tum.de> [Mon, 07 Aug 2017 15:10:37 +0200] rev 66375

Merged

eberlm <eberlm@in.tum.de> [Fri, 04 Aug 2017 18:03:50 +0200] rev 66374

Merged

eberlm <eberlm@in.tum.de> [Thu, 03 Aug 2017 13:35:28 +0200] rev 66373

Removed unnecessary constant 'ball' from Formal_Power_Series

wenzelm [Mon, 07 Aug 2017 21:43:33 +0200] rev 66372

merged;

wenzelm [Mon, 07 Aug 2017 20:05:23 +0200] rev 66371

more thorough Execution.join, under the assumption that nested Execution.fork only happens from given exed_ids;

wenzelm [Mon, 07 Aug 2017 15:13:21 +0200] rev 66370

more synchronized Execution.snapshot;

isabelle