# HG changeset patch
# User wenzelm
# Date 1712136906 -7200
# Node ID 6e7f266b9ac2fd727bcda2352d7ac9f77c1e5456
# Parent  01ddd3c203da9d913d5c789cc8791bb8ce12c0a7
updated for release;

diff -r 01ddd3c203da -r 6e7f266b9ac2 ANNOUNCE
--- a/ANNOUNCE	Wed Apr 03 11:11:23 2024 +0200
+++ b/ANNOUNCE	Wed Apr 03 11:35:06 2024 +0200
@@ -1,39 +1,33 @@
-Subject: Announcing Isabelle2023
+Subject: Announcing Isabelle2024
 To: isabelle-users@cl.cam.ac.uk
 
-Isabelle2023 is now available.
+Isabelle2024 is now available.
 
-This version introduces notable changes over Isabelle2022: see the
+This version introduces various changes over Isabelle2023: see the
 NEWS file for further details. Here are various details:
 
-* Documents: interactive document preparation via Isabelle/jEdit panel.
+* More robust and scalable support for distributed build clusters.
 
-* Documents: demos for well-known LaTeX classes.
-
-* Documents: more formal LaTeX citations.
+* 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: more robust support for ARM64 platform (native Apple Silicon).
+* ML: antiquotations for try-catch-finally.
 
-* ML: heap usage and stored heap size has been significantly reduced.
-
-* ML: improved implementations of functor Table() and corresponding Set().
+* ML: physical interrupts are now distinguished from runtime system failures.
 
-* Scala and ML: support for Zstd compression.
-
-* System: more robust "isabelle sync" tool via bundled "rsync" executables.
+* System: support for global registry in TOML format.
 
-* System: "isabelle profiling" tool produces ML heap statistics.
+* System: support the Go development environment (all platforms).
 
-* System: experimental support for distributed build clusters.
+* System: bundled MLton now includes both Linux and macOS (Intel).
 
 
-You may get Isabelle2023 from the following mirror sites:
+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://mirror.cse.unsw.edu.au/pub/isabelle
+  Sydney (Australia)   https://proofcraft.systems/isabelle/index.html
   Potsdam, NY (USA)    https://mirror.clarkson.edu/isabelle