#724 (Sep 3, 2018, 12:50:11 AM)

1. tuned signature; (detail / hgweb)
2. clarified signature; (detail / hgweb)
3. tuned -- more robust against changes; (detail / hgweb)
4. more robust: avoid race-condition of terminated vs. consolidated; (detail / hgweb)
5. do not expose obscure flags; (detail / hgweb)
6. clarified quasi_consolidated state: ensure that exports are present for ok nodes; (detail / hgweb)
7. clarified Thy_Resources.Session.use_theories: "terminated" node status is sufficient; (detail / hgweb)
8. tuned documentation; (detail / hgweb)
9. more detailed node_status; (detail / hgweb)
10. clarified bracketing of messages: [forked [running finished] joined]; (detail / hgweb)
11. NEWS; (detail / hgweb)
12. clarified reset_notepad; (detail / hgweb)
13. more robust reset_state: begin/end structure takes precedence over goal/proof structure; (detail / hgweb)
14. no reset_proof for notepad: begin/end structure takes precedence over goal/proof structure; (detail / hgweb)
15. clarified signature; (detail / hgweb)
16. tuned; (detail / hgweb)

Started by an SCM change

This run spent:

• 9.4 sec waiting;
• 1 hr 14 min build duration;
• 1 hr 14 min total from scheduled to completion.