#650 (Jun 4, 2018, 12:50:11 AM)

1. tuned proofs; (detail / hgweb)
2. NEWS; (detail / hgweb)
3. proper function invocation with all arguments; (detail / hgweb)
4. fork parallel prints early in execution: avoid degradation of priority due to main eval task; (detail / hgweb)
5. clarified signature: prefer Document.Snapshot; (detail / hgweb)
6. list syntax details (detail / hgweb)
7. merged (detail / hgweb)
8. allow tuple patterns in list comprehensions (detail / hgweb)
9. infinite product material (detail / hgweb)
10. merged (detail / hgweb)
11. tidied more Cauchy proofs (detail / hgweb)

Started by an SCM change

This run spent:

• 9.4 sec waiting;
• 1 hr 30 min build duration;
• 1 hr 30 min total from scheduled to completion.