#1808 (Nov 4, 2022, 2:34:00 AM)

1. merged (detail / hgweb)
2. clarified directory layout: templates for user sessions; (detail / hgweb)
3. tuned proofs; (detail / hgweb)
4. tuned; (detail / hgweb)
5. tuned; (detail / hgweb)
6. tuned; (detail / hgweb)
7. clarified signature; (detail / hgweb)
8. proper pattern (amending 40a365360680); (detail / hgweb)
9. more timing; (detail / hgweb)
10. tuned; (detail / hgweb)
11. tuned comments; (detail / hgweb)
12. tuned; (detail / hgweb)
13. prefer abstract command kind (in contrast to 367f4512e65c); (detail / hgweb)
14. tuned; (detail / hgweb)
15. tuned: avoid warning in IntelliJ IDEA; (detail / hgweb)
16. more accurate outer syntax keywords (see also 94b2690ad494): base session could be anything, e.g. ZF vs. HOL; (detail / hgweb)
17. tuned signature; (detail / hgweb)
18. clarified signature: do not require finished theory; (detail / hgweb)
19. clarified modules; (detail / hgweb)

Started by an SCM change

This run spent:

• 1 hr 43 min waiting;
• 1 hr 50 min build duration;
• 3 hr 34 min total from scheduled to completion.