Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
ANNOUNCE
changeset 80080 6e7f266b9ac2
parent 78589 dccfe13878a5 
--- 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
isabelle