#1185 (Sep 29, 2017, 11:07:04 PM)

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)

Started by an SCM change

This run spent:

• 5 min 1 sec waiting;
• 1 hr 41 min build duration;
• 1 hr 46 min total from scheduled to completion.