#857 (Apr 24, 2017, 12:01:05 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)

Started by an SCM change

This run spent:

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