#1582 (Apr 19, 2018, 5:13:06 PM)

1. tuning of a proof (detail / hgweb)
2. merged (detail / hgweb)
3. some simpler, cleaner proofs (detail / hgweb)

Started by an SCM change

This run spent:

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