#1548 (Sep 13, 2021, 1:38:28 AM)

1. more antiquotations; (detail / hgweb)
2. more antiquotations; (detail / hgweb)
3. more antiquotations; (detail / hgweb)
4. more antiquotations;
   more formal use of consts; (detail / hgweb)
5. more antiquotations;
   more formal use of consts; (detail / hgweb)
6. clarified antiquotations; (detail / hgweb)
7. more antiquotations; (detail / hgweb)
8. more antiquotations; (detail / hgweb)
9. more antiquotations; (detail / hgweb)
10. clarified antiquotation; (detail / hgweb)
11. more antiquotations; (detail / hgweb)
12. more antiquotations; (detail / hgweb)
13. more antiquotations; (detail / hgweb)
14. tuned; (detail / hgweb)
15. ML antiquotations for type constructors and term constants; (detail / hgweb)
16. more antiquotations; (detail / hgweb)

Started by an SCM change

This run spent:

• 48 min waiting;
• 2 hr 6 min build duration;
• 2 hr 55 min total from scheduled to completion.