# HG changeset patch
# User wenzelm
# Date 1689021759 -7200
# Node ID d1d54440c036ec840b7b18c409d460059f4283dd
# Parent  e23703e5b4d1ac9a30964441756e4eb4122972d4
tuned;

diff -r e23703e5b4d1 -r d1d54440c036 ANNOUNCE
--- 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.