#1584 (Oct 29, 2021, 12:50:06 AM)

1. tuned; (detail / hgweb)
2. tuned; (detail / hgweb)
3. clarified antiquotations; (detail / hgweb)
4. clarified antiquotations; (detail / hgweb)
5. discontinued somewhat pointless antiquotations; (detail / hgweb)
6. NEWS; (detail / hgweb)
7. clarified antiquotations, assuming that Drule.instantiate_normalize was merely a historical relic; (detail / hgweb)
8. clarified antiquotations; (detail / hgweb)
9. clarified antiquotations; (detail / hgweb)
10. clarified antiquotations; (detail / hgweb)
11. clarified antiquotations; (detail / hgweb)
12. support for "lemma";
    support for "schematic" mode;
    clarified error position; (detail / hgweb)
13. tuned; (detail / hgweb)
14. local fixes for "lemma" antiquotation; (detail / hgweb)
15. clarified signature; (detail / hgweb)
16. tuned; (detail / hgweb)
17. clarified keywords: major take precedence for commands, but not used for antiquotations;
    clarified modules; (detail / hgweb)
18. tuned modules; (detail / hgweb)

Started by an SCM change

This run spent:

• 5.7 sec waiting;
• 1 hr 38 min build duration;
• 1 hr 38 min total from scheduled to completion.