#344 (Jun 7, 2017, 1:02:54 AM)

1. clarified import of loaded theory; (detail / hgweb)
2. decomposed tuple (detail / hgweb)
3. tuned (detail / hgweb)
4. clarified message (detail / hgweb)
5. tuned signature; (detail / hgweb)
6. discontinued obsolete print mode; (detail / hgweb)

Started by an SCM change

This run spent:

• 12 min waiting;
• 1 hr 23 min build duration;
• 1 hr 36 min total from scheduled to completion.