#1049 (Nov 2, 2019, 12:50:06 AM)

1. updated to polyml-5.8.1-20191101 test version; (detail / hgweb)
2. merged (detail / hgweb)
3. more operations; (detail / hgweb)
4. proper export of unnamed proof boxes for unnamed toplevel declarations, e.g. rulify/defn rules in theory IFOL and HOL; (detail / hgweb)
5. clarified signature (again); (detail / hgweb)
6. clarified signature; (detail / hgweb)
7. make double-sure that internal proof boxes are exported, e.g. in Pure; (detail / hgweb)
8. avoid redundant proof boxes for application sessions; (detail / hgweb)
9. clarified modules (again); (detail / hgweb)
10. more detailed proof term output;
    tuned signature; (detail / hgweb)
11. tuned signature; (detail / hgweb)
12. clarified error; (detail / hgweb)
13. more accurate proof_boxes -- from actual proof body; (detail / hgweb)
14. clarified signature; (detail / hgweb)
15. clarified signature; (detail / hgweb)

Started by an SCM change

This run spent:

• 5.7 sec waiting;
• 1 hr 21 min build duration;
• 1 hr 21 min total from scheduled to completion.