#2169 (Apr 3, 2024, 1:05:02 AM)

1. merged (detail / hgweb)
2. update to stack-2.15.5, stackage-lts-22.15; (detail / hgweb)
3. clarified names: discontinue odd convention from 3 decades ago; (detail / hgweb)
4. further performance tuning (after f906f7f83dae): interactive mode is closer to earlier approach with Lazy.value, which could be relevant with rather complex grammars under tight memory situations; (detail / hgweb)
5. added documentation for meromorphicity etc. in HOL-Complex_Analysis (detail / hgweb)
6. merged (detail / hgweb)
7. merged (detail / hgweb)
8. added special syntax for FSet.Ball and FSet.Bex (detail / hgweb)
9. tuned proof (detail / hgweb)
10. tuned proofs of Equiv_Relations.equiv (detail / hgweb)
11. remove transitional (dummy) component list for Go (detail / hgweb)

Started by an SCM change

This run spent:

• 15 min waiting;
• 2 hr 6 min build duration;
• 2 hr 21 min total from scheduled to completion.