testboard: Changelog

paulson <lp15@cam.ac.uk> [Sun, 03 Jun 2018 15:22:30 +0100] rev 68361

infinite product material

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

merged

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

tuned proofs;

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

more symbols;

wenzelm [Sat, 02 Jun 2018 22:14:35 +0200] rev 68357

more formal comments;

wenzelm [Sat, 02 Jun 2018 22:11:09 +0200] rev 68356

more args;

wenzelm [Sat, 02 Jun 2018 21:59:11 +0200] rev 68355

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 68354

tuned -- more explicit types;

wenzelm [Sat, 02 Jun 2018 19:52:16 +0200] rev 68353

less frequent consolidation: it requires a full Document.update and Document.start_execution;

wenzelm [Fri, 01 Jun 2018 22:01:43 +0200] rev 68352

varify frees, notably dangling_params (see also e0cd57aeb60c);

testboard