#388 (Aug 8, 2017, 12:50:10 AM)

1. merged; (detail / hgweb)
2. more thorough Execution.join, under the assumption that nested Execution.fork only happens from given exed_ids; (detail / hgweb)
3. more synchronized Execution.snapshot; (detail / hgweb)
4. tuned spelling; (detail / hgweb)
5. tuned; (detail / hgweb)
6. tuned; (detail / hgweb)
7. merged (detail / hgweb)
8. more Henstock_Kurzweil_Integration cleanup (detail / hgweb)
9. tuning imports (detail / hgweb)
10. use TFF0 with E 2.0 and above (detail / hgweb)
11. E 2.0 component (detail / hgweb)
12. updated remote Vampire version (detail / hgweb)
13. merged (detail / hgweb)
14. more integration cleanups (detail / hgweb)

Started by an SCM change

This run spent:

• 8.7 sec waiting;
• 1 hr 19 min build duration;
• 1 hr 19 min total from scheduled to completion.