#367 (Jul 11, 2017, 1:06:21 AM)

1. tuned (detail / hgweb)
2. clarified (detail / hgweb)
3. dropped superfluous theory imports (detail / hgweb)

Started by an SCM change

This run spent:

• 16 min waiting;
• 1 hr 20 min build duration;
• 1 hr 37 min total from scheduled to completion.