#1580 (Oct 25, 2021, 12:50:07 AM)

1. avoid persistence of static context: instantiation arguments should provide proper dynamic context; (detail / hgweb)
2. more antiquotations; (detail / hgweb)
3. more markup; (detail / hgweb)
4. clarified name, syntax, messages; (detail / hgweb)
5. more antiquotations; (detail / hgweb)
6. more control symbols; (detail / hgweb)
7. tuned signature; (detail / hgweb)
8. ML antiquotations to instantiate types/terms/props; (detail / hgweb)

Started by an SCM change

This run spent:

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