diff -r d1d54440c036 -r ba3729a9d29d ANNOUNCE
--- a/ANNOUNCE	Mon Jul 10 22:42:39 2023 +0200
+++ b/ANNOUNCE	Mon Jul 10 22:44:28 2023 +0200
@@ -6,8 +6,6 @@
 This version introduces notable changes over Isabelle2022: see the
 NEWS file for further details. Here are various details:
 
-* ML heap usage and stored heap size has been significantly reduced.
-
 * Documents: interactive document preparation via Isabelle/jEdit panel.
 
 * Documents: demos for well-known LaTeX classes.
@@ -18,6 +16,8 @@
 
 * HOL: updates and improvements of Sledgehammer.
 
+* ML: heap usage and stored heap size has been significantly reduced.
+
 * ML: improved implementations of functor Table() and corresponding Set().
 
 * Scala and ML: support for Zstd compression.