isabelle: Changelog

paulson [Sat, 02 Jun 2018 22:57:44 +0100] rev 68360

merged

paulson <lp15@cam.ac.uk> [Sat, 02 Jun 2018 22:57:18 +0100] rev 68359

tidied more Cauchy proofs

wenzelm [Sat, 02 Jun 2018 22:40:03 +0200] rev 68358

tuned proofs;

wenzelm [Sat, 02 Jun 2018 22:39:45 +0200] rev 68357

more symbols;

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);

isabelle