#1106 (Aug 24, 2017, 1:52:03 PM)

1. Merge (non-trivial) (detail / hgweb)
2. More tidying, and renaming of theorems (detail / hgweb)
3. merged (detail / hgweb)
4. More tidying up of monotone_convergence_interval (detail / hgweb)

Started by an SCM change

This run spent:

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