Sun, 03 Jun 2018 15:22:30 +0100 infinite product material
paulson <lp15@cam.ac.uk> [Sun, 03 Jun 2018 15:22:30 +0100] rev 68361
infinite product material
Sat, 02 Jun 2018 22:57:44 +0100 merged
paulson [Sat, 02 Jun 2018 22:57:44 +0100] rev 68360
merged
Sat, 02 Jun 2018 22:40:03 +0200 tuned proofs;
wenzelm [Sat, 02 Jun 2018 22:40:03 +0200] rev 68359
tuned proofs;
Sat, 02 Jun 2018 22:39:45 +0200 more symbols;
wenzelm [Sat, 02 Jun 2018 22:39:45 +0200] rev 68358
more symbols;
Sat, 02 Jun 2018 22:14:35 +0200 more formal comments;
wenzelm [Sat, 02 Jun 2018 22:14:35 +0200] rev 68357
more formal comments;
Sat, 02 Jun 2018 22:11:09 +0200 more args;
wenzelm [Sat, 02 Jun 2018 22:11:09 +0200] rev 68356
more args;
Sat, 02 Jun 2018 21:59:11 +0200 record active execution task and depend on it -- avoid new executions bumping into old ones;
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;
Sat, 02 Jun 2018 21:10:20 +0200 tuned -- more explicit types;
wenzelm [Sat, 02 Jun 2018 21:10:20 +0200] rev 68354
tuned -- more explicit types;
Sat, 02 Jun 2018 19:52:16 +0200 less frequent consolidation: it requires a full Document.update and Document.start_execution;
wenzelm [Sat, 02 Jun 2018 19:52:16 +0200] rev 68353
less frequent consolidation: it requires a full Document.update and Document.start_execution;
Fri, 01 Jun 2018 22:01:43 +0200 varify frees, notably dangling_params (see also e0cd57aeb60c);
wenzelm [Fri, 01 Jun 2018 22:01:43 +0200] rev 68352
varify frees, notably dangling_params (see also e0cd57aeb60c);
(0) -30000 -10000 -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 tip