#305 (Apr 24, 2017, 1:00:46 AM)

1. actually use theory; (detail / hgweb)
2. clarified parent session images, to avoid duplicate loading of theories; (detail / hgweb)
3. merged (detail / hgweb)
4. tuned documentation; (detail / hgweb)
5. support for potential session imports; (detail / hgweb)
6. more checks; (detail / hgweb)
7. tuned messages; (detail / hgweb)
8. actually use theory;
   tuned; (detail / hgweb)
9. renamed theory to avoid conflict with loaded theory "Tree" from HOL-Library; (detail / hgweb)
10. support for Mercurial manifest check; (detail / hgweb)
11. tuned; (detail / hgweb)
12. more operations; (detail / hgweb)
13. support for multiple operations via options; (detail / hgweb)
14. clarified tool name -- more official status; (detail / hgweb)
15. more lemmas (detail / hgweb)
16. include GCD as integral part of computational algebra in session HOL (detail / hgweb)
17. prefer strict operation (despite 8edca3465758): there might be errors from all_known = true (ae09b9f5980b); (detail / hgweb)
18. added missing file (amending f533820e7248); (detail / hgweb)

Started by an SCM change

This run spent:

• 10 min waiting;
• 1 hr 14 min build duration;
• 1 hr 25 min total from scheduled to completion.