Changes

Changes from Mercurial (hg https://foss.heptapod.net/isa-afp/afp-devel/ default)

Summary

merge from afp-2024
regen website
update 2023 release dates
set Isabelle2024 release date

Changeset 14427:99aac7e38819 by gerwin klein _kleing@unsw.edu.au_: merge from afp-2024
Changeset 14426:4366badfbbbc by Gerwin Klein _gerwin.klein@proofcraft.systems_: regen website
The file was added	`web/sessions/naproche-test/index.html`
The file was added	`web/sessions/naproche/index.html`
The file was modified	`web/entries/Approximate_Model_Counting.html`
The file was modified	`web/entries/Boolos_Curious_Inference.html`
The file was modified	`web/entries/Broadcast_Psi.html`
The file was modified	`web/entries/CRYSTALS-Kyber_Security.html`
The file was modified	`web/entries/Cardinality_Continuum.html`
The file was modified	`web/entries/Chebyshev_Polynomials.html`
The file was modified	`web/entries/Concentration_Inequalities.html`
The file was modified	`web/entries/ConcurrentHOL.html`
The file was modified	`web/entries/CondNormReasHOL.html`
The file was modified	`web/entries/Continued_Fractions.html`
The file was modified	`web/entries/Coupledsim_Contrasim.html`
The file was modified	`web/entries/CubicalCategories.html`
The file was modified	`web/entries/Derandomization_Conditional_Expectations.html`
The file was modified	`web/entries/Disintegration.html`
The file was modified	`web/entries/Doob_Convergence.html`
The file was modified	`web/entries/Elimination_Of_Repeated_Factors.html`
The file was modified	`web/entries/Eudoxus_Reals.html`
The file was modified	`web/entries/Euler_Polyhedron_Formula.html`
The file was modified	`web/entries/Go.html`
The file was modified	`web/entries/HOL-CSPM.html`
The file was modified	`web/entries/HOL-CSP_OpSem.html`
The file was modified	`web/entries/Hypergraph_Basics.html`
The file was modified	`web/entries/Hypergraph_Colourings.html`
The file was modified	`web/entries/IMP_Noninterference.html`
The file was modified	`web/entries/IO_Language_Conformance.html`
The file was modified	`web/entries/Interval_Analysis.html`
The file was modified	`web/entries/Isabelle_DOF.html`
The file was modified	`web/entries/Isabelle_Marries_Dirac.html`
The file was modified	`web/entries/Isabelle_hoops.html`
The file was modified	`web/entries/Karatsuba.html`
The file was modified	`web/entries/KnuthMorrisPratt.html`
The file was modified	`web/entries/Kummer_Congruence.html`
The file was modified	`web/entries/LL1_Parser.html`
The file was modified	`web/entries/Labeled_Transition_Systems.html`
The file was modified	`web/entries/Lambert_Series.html`
The file was modified	`web/entries/Lovasz_Local.html`
The file was modified	`web/entries/MFOTL_Checker.html`
The file was modified	`web/entries/ML_Unification.html`
The file was modified	`web/entries/Martingales.html`
The file was modified	`web/entries/Nominal_Myhill_Nerode.html`
The file was modified	`web/entries/OmegaCatoidsQuantales.html`
The file was modified	`web/entries/Orient_Rewrite_Rule_Undecidable.html`
The file was modified	`web/entries/PNT_with_Remainder.html`
The file was modified	`web/entries/Perfect_Fields.html`
The file was modified	`web/entries/Picks_Theorem.html`
The file was modified	`web/entries/Polylog.html`
The file was modified	`web/entries/Polynomial_Crit_Geometry.html`
The file was modified	`web/entries/Pushdown_Systems.html`
The file was modified	`web/entries/Q0_Metatheory.html`
The file was modified	`web/entries/Q0_Soundness.html`
The file was modified	`web/entries/QBF_Solver_Verification.html`
The file was modified	`web/entries/Region_Quadtrees.html`
The file was modified	`web/entries/Relational_Cardinality.html`
The file was modified	`web/entries/S_Finite_Measure_Monad.html`
The file was modified	`web/entries/Schoenhage_Strassen.html`
The file was modified	`web/entries/Simpl.html`
The file was modified	`web/entries/Standard_Borel_Spaces.html`
The file was modified	`web/entries/StrictOmegaCategories.html`
The file was modified	`web/entries/Substitutions_Lambda_Free.html`
The file was modified	`web/entries/Sumcheck_Protocol.html`
The file was modified	`web/entries/Top_Down_Solver.html`
The file was modified	`web/entries/Transport.html`
The file was modified	`web/entries/Uncertainty_Principle.html`
The file was modified	`web/entries/Wieferich_Kempner.html`
Changeset 14425:27acc50ac18d by Gerwin Klein _gerwin.klein@proofcraft.systems_: update 2023 release dates
The file was modified	`metadata/releases.toml`
Changeset 14424:e69025deeac0 by Gerwin Klein _gerwin.klein@proofcraft.systems_: set Isabelle2024 release date
The file was modified	`metadata/release-dates`