#295 (Apr 8, 2017, 12:50:07 AM)

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)
18. more general signature; works for all terms, not just frees (detail / hgweb)
19. session containing computational algebra (detail / hgweb)
20. more approproiate placement of theories MiscAlgebra and Multiplicate_Group (detail / hgweb)

Started by an SCM change

This run spent:

• 5.5 sec waiting;
• 1 hr 17 min build duration;
• 1 hr 17 min total from scheduled to completion.