#430 (Sep 30, 2017, 12:50:09 AM)

1. merged (detail / hgweb)
2. unused; (detail / hgweb)
3. more accurate node_syntax: avoid overall_syntax for PIDE edits; (detail / hgweb)
4. tuned signature; (detail / hgweb)
5. clarified theory syntax vs. overall session syntax; (detail / hgweb)
6. unused; (detail / hgweb)
7. more informative loaded_theories: dependencies and syntax; (detail / hgweb)
8. tuned signature; (detail / hgweb)
9. tuned; (detail / hgweb)
10. tuned signature; (detail / hgweb)
11. tuned; (detail / hgweb)
12. session-qualified theory names are mandatory; (detail / hgweb)
13. discontinued extra checks (see ce676a750575 and 60c159d490a2) -- qualified theory names are meant to cover this; (detail / hgweb)
14. eliminated a needless dependence on the theorem homeomorphic_punctured_sphere_affine_gen (detail / hgweb)
15. Merge (resolved trivial conflict) (detail / hgweb)
16. New results for Green's theorem (detail / hgweb)

Started by an SCM change

This run spent:

• 7.9 sec waiting;
• 1 hr 35 min build duration;
• 1 hr 35 min total from scheduled to completion.