--- 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.