#1011 (Sep 17, 2019, 1:52:56 AM)

1. merged (detail / hgweb)
2. more errors; (detail / hgweb)
3. clarified inversion of file name to theory name, notably for Windows; (detail / hgweb)
4. clarified import_name: observe directory notation more strictly; (detail / hgweb)
5. tuned signature; (detail / hgweb)
6. clarified signature -- removed pointless operations; (detail / hgweb)
7. clarified signature -- removed unused content; (detail / hgweb)
8. clarified theory imports completion, based on session directories and current master directory (no support for local session-subdirectories); (detail / hgweb)
9. find theories via session directories only -- ignore known_theories; (detail / hgweb)
10. tuned; (detail / hgweb)
11. tuned message; (detail / hgweb)
12. merged (detail / hgweb)
13. tuned (detail / hgweb)
14. A little-known material, and some tidying up (detail / hgweb)

Started by an SCM change

This run spent:

• 1 hr 2 min waiting;
• 1 hr 22 min build duration;
• 2 hr 25 min total from scheduled to completion.