#978 (Jun 22, 2017, 6:16:09 PM)

1. Merge (detail / hgweb)
2. New theorems and much tidying up of the old ones (detail / hgweb)

Started by an SCM change

This run spent:

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