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