#1547 (Sep 11, 2021, 1:17:27 AM)

1. tuned; (detail / hgweb)
2. NEWS; (detail / hgweb)
3. miscellaneous examples and experiments for Isabelle/Pure; (detail / hgweb)
4. tuned comments; (detail / hgweb)
5. unused; (detail / hgweb)
6. clarified order of extra TFrees: underlying fast_string_ord coincides with Name.invent (e.g. from type inference); (detail / hgweb)
7. NEWS; (detail / hgweb)
8. clarified signature: more scalable operations; (detail / hgweb)
9. more scalable operations; (detail / hgweb)
10. more scalable operations; (detail / hgweb)
11. clarified order of extra type variables, following names more often than occurrences; (detail / hgweb)
12. clarified signature;
    tuned; (detail / hgweb)
13. tuned; (detail / hgweb)
14. more scalable operations; (detail / hgweb)
15. omit obsolete field "xs": originally from fd0f8fa2b6bd, but later unused; (detail / hgweb)

Started by an SCM change

This run spent:

• 27 min waiting;
• 2 hr 5 min build duration;
• 2 hr 32 min total from scheduled to completion.