#1005 (Sep 9, 2019, 12:50:07 AM)

1. clarified messages; (detail / hgweb)
2. clarified syntax: 'directories' and 'theories' belong together; (detail / hgweb)
3. more documentation; (detail / hgweb)
4. check session directories; (detail / hgweb)
5. declare session directories; (detail / hgweb)
6. clarified signature: proper Document.Node.Ordering conforming to equality (e.g. required in situations where theory names are ambiguous due to overlapping session directories); (detail / hgweb)

Started by an SCM change

This run spent:

• 6.4 sec waiting;
• 1 hr 20 min build duration;
• 1 hr 20 min total from scheduled to completion.