#845 (Apr 18, 2017, 8:22:08 AM)

1. merged (detail / hgweb)
2. prefer formal name from session context, for proper qualified theory name; (detail / hgweb)
3. clarified: Map index uses canonical files; (detail / hgweb)
4. tuned signature; (detail / hgweb)
5. tuned signature; (detail / hgweb)
6. uniform use of theory base name for presentation; (detail / hgweb)
7. proper imports_base, notably for thy_deps; (detail / hgweb)
8. tuned signature; (detail / hgweb)
9. tuned; (detail / hgweb)
10. tuned GUI; (detail / hgweb)
11. obsolete; (detail / hgweb)
12. more uniform thy_deps (like class_deps), see also c48d536231fe; (detail / hgweb)
13. special theories are always global; (detail / hgweb)
14. tuned signature; (detail / hgweb)
15. tuned signature; (detail / hgweb)
16. tuned signature; (detail / hgweb)
17. more systematic treatment of polynomial 1 (detail / hgweb)

Started by an SCM change

This run spent:

• 5 min 3 sec waiting;
• 1 hr 33 min build duration;
• 1 hr 38 min total from scheduled to completion.