#1018 (Apr 4, 2024, 3:30:29 PM)

1. moved over material from the AFP to HOL, HOL-Computational_Algebra, and HOL-Number_Theory (detail / hgweb)
2. documented new syntax for fBall and fBex (detail / hgweb)
3. updated for release; (detail / hgweb)
4. Added tag Isabelle2024-RC1 for changeset 1231a7fb2510 (detail / hgweb)
5. misc tuning for release; (detail / hgweb)
6. update for release; (detail / hgweb)
7. merged (detail / hgweb)
8. update to stack-2.15.5, stackage-lts-22.15; (detail / hgweb)
9. clarified names: discontinue odd convention from 3 decades ago; (detail / hgweb)
10. 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)
11. added documentation for meromorphicity etc. in HOL-Complex_Analysis (detail / hgweb)
12. merged (detail / hgweb)
13. remove transitional (dummy) component list for Go (detail / hgweb)

Started by an SCM change

This run spent:

• 7.7 sec waiting;
• 5 hr 4 min build duration;
• 5 hr 4 min total from scheduled to completion.

• Gromov_Hyperbolicity