#838 (Apr 7, 2017, 9:55:06 PM)

1. tuned headers; (detail / hgweb)
2. merged (detail / hgweb)
3. refer to known_theory;
   support for qualified theory name; (detail / hgweb)
4. tuned; (detail / hgweb)
5. provide session base for "isabelle build" and "isabelle console" ML process; (detail / hgweb)
6. tuned comment; (detail / hgweb)
7. more explicit lookup of loaded_theories: base names allowed here;
   no base names for known_theories; (detail / hgweb)
8. support for all_known_theories of all sessions; (detail / hgweb)
9. tuned; (detail / hgweb)
10. known_theories from imported sessions; (detail / hgweb)
11. tuned; (detail / hgweb)
12. more checks; (detail / hgweb)
13. tuned; (detail / hgweb)
14. tuned signature; (detail / hgweb)
15. tuned; (detail / hgweb)
16. support for static session imports, without affect build hierarchy; (detail / hgweb)
17. explicit Sessions.Selection; (detail / hgweb)

Started by an SCM change

This run spent:

• 5 min 4 sec waiting;
• 3 hr 15 min build duration;
• 3 hr 20 min total from scheduled to completion.