wenzelm [Sat, 02 Jun 2018 22:14:35 +0200] rev 68356
more formal comments;
wenzelm [Sat, 02 Jun 2018 22:11:09 +0200] rev 68355
more args;
wenzelm [Sat, 02 Jun 2018 21:59:11 +0200] rev 68354
record active execution task and depend on it -- avoid new executions bumping into old ones;
wenzelm [Sat, 02 Jun 2018 21:10:20 +0200] rev 68353
tuned -- more explicit types;
wenzelm [Sat, 02 Jun 2018 19:52:16 +0200] rev 68352
less frequent consolidation: it requires a full Document.update and Document.start_execution;
wenzelm [Fri, 01 Jun 2018 22:01:43 +0200] rev 68351
varify frees, notably dangling_params (see also e0cd57aeb60c);
wenzelm [Fri, 01 Jun 2018 22:00:50 +0200] rev 68350
tuned -- more explicit expression;
wenzelm [Fri, 01 Jun 2018 15:57:28 +0200] rev 68349
merged
wenzelm [Fri, 01 Jun 2018 15:53:35 +0200] rev 68348
documentation for "isabelle dump";
wenzelm [Fri, 01 Jun 2018 11:51:03 +0200] rev 68347
more dump aspects, with options;
tuned signature;