--- a/ANNOUNCE Mon Jul 10 22:34:31 2023 +0200
+++ b/ANNOUNCE Mon Jul 10 22:42:39 2023 +0200
@@ -8,11 +8,13 @@
* ML heap usage and stored heap size has been significantly reduced.
-* Interactive document preparation via Isabelle/jEdit panel.
+* Documents: interactive document preparation via Isabelle/jEdit panel.
+
+* Documents: demos for well-known LaTeX classes.
-* Demo documents for well-known LaTeX classes.
+* Documents: more formal LaTeX citations.
-* HOL: various improvements of theory libraries.
+* HOL: various improvements of theory libraries, notably in HOL-Analysis.
* HOL: updates and improvements of Sledgehammer.