#354 (Jun 22, 2017, 12:52:04 AM)

1. merged (detail / hgweb)
2. tuned granularity of parallel tasks; (detail / hgweb)
3. more completion; (detail / hgweb)
4. clarified modules; (detail / hgweb)
5. tuned signature; (detail / hgweb)
6. added -d option to Mirabelle (detail / hgweb)
7. stripped code pre/postprocessor setup for real from superfluous rules (detail / hgweb)
8. Tidying up integration theory and some new theorems (detail / hgweb)
9. more completion; (detail / hgweb)
10. tuned signature; (detail / hgweb)
11. tuned signature; (detail / hgweb)
12. tuned signature; (detail / hgweb)

Started by an SCM change

This run spent:

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