#545 (Feb 2, 2018, 12:50:10 AM)

1. tuned: more standard use of order; (detail / hgweb)
2. tuned; (detail / hgweb)
3. tuned; (detail / hgweb)
4. clarified signature;
   eliminated aliases of Thm.term_ord; (detail / hgweb)
5. clarified signature: prefer proper order operation; (detail / hgweb)
6. tuned signature: more operations; (detail / hgweb)
7. clarified signature; (detail / hgweb)

Started by an SCM change

This run spent:

• 8.1 sec waiting;
• 1 hr 13 min build duration;
• 1 hr 13 min total from scheduled to completion.