#993 (Aug 24, 2019, 12:50:10 AM)

1. tuned (detail / hgweb)
2. always export Pure proofs; (detail / hgweb)
3. clarified 'thm_deps' command; (detail / hgweb)
4. more compact: avoid pointless PThm rudiments; (detail / hgweb)
5. clarified signature: prefer total operations; (detail / hgweb)

Started by an SCM change

This run spent:

• 8.4 sec waiting;
• 1 hr 20 min build duration;
• 1 hr 20 min total from scheduled to completion.