#292 (Apr 4, 2017, 1:04:13 AM)

1. tuned message; (detail / hgweb)
2. merged (detail / hgweb)
3. misc tuning and modernization; (detail / hgweb)
4. clarified imports; (detail / hgweb)
5. tuned signature; (detail / hgweb)
6. tuned; (detail / hgweb)
7. provide session qualifier via resources; (detail / hgweb)
8. proper qualifier (again, see df4cd6e1fdfa); (detail / hgweb)
9. simplified direct theory name (again, see also 570ba266f5b5, 2a7f9e79cb28); (detail / hgweb)
10. tuned; (detail / hgweb)
11. tuned signature; (detail / hgweb)
12. removed problematic simp rule (detail / hgweb)
13. merged (detail / hgweb)
14. tuned (detail / hgweb)
15. Merged (detail / hgweb)
16. added shuffle product to HOL/List (detail / hgweb)
17. tuned (detail / hgweb)
18. added chains of (in)equations (detail / hgweb)

Started by an SCM change

This run spent:

• 14 min waiting;
• 1 hr 29 min build duration;
• 1 hr 44 min total from scheduled to completion.