Email Gateway (May 23 2024 at 20:58): Email Gateway (May 23 2024 at 20:58):From: Makarius <makarius@sketis.net>
Isabelle2024 is now available.
This version introduces various changes over Isabelle2023: see the
NEWS file for further details. Here are various details:
More robust and scalable support for distributed build clusters.
Official support for ARM64 on Linux (notably Docker on Apple Silicon).
HOL: various improvements of theory libraries, notably in HOL-Analysis.
HOL: updates and improvements of Sledgehammer.
ML: antiquotations for try-catch-finally.
ML: physical interrupts are now distinguished from runtime system failures.
System: support for global registry in TOML format.
System: support the Go development environment (all platforms).
System: bundled MLton now includes both Linux and macOS (Intel).
You may get Isabelle2024 from the following mirror sites:
Cambridge (UK) https://www.cl.cam.ac.uk/research/hvg/Isabelle
Munich (Germany) https://isabelle.in.tum.de
Sydney (Australia) https://proofcraft.systems/isabelle/index.html
Potsdam, NY (USA) https://mirror.clarkson.edu/isabelle
Email Gateway (May 24 2024 at 09:18):From: Makarius <makarius@sketis.net>
Just a footnote to the release process: We've had 7 weeks from
Isabelle2024-RC1 to Isabelle2024 final. My plan was to keep it below 6 weeks.
I will try harder next time, to motivate people starting serious testing early.
Makarius
Last updated: Jan 04 2025 at 20:18 UTC