ANNOUNCE

clarified signature;

+
−Subject: Announcing Isabelle2024
+
−To: [e-mail]
+
−
+
−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