#1361 (Dec 23, 2017, 3:13:27 AM)

1. Merge (detail / hgweb)
2. Merge (detail / hgweb)
3. new/improved theories involving convergence; better pretty-printing for bounded quantifiers and sum/product (detail / hgweb)

Started by an SCM change

This run spent:

• 5 min 2 sec waiting;
• 1 hr 39 min build duration;
• 1 hr 44 min total from scheduled to completion.