diff -r 55220f2d09d2 -r 491453ea09bb ANNOUNCE
--- a/ANNOUNCE	Wed Apr 10 15:45:16 2019 +0200
+++ b/ANNOUNCE	Wed Apr 10 16:15:45 2019 +0200
@@ -18,7 +18,8 @@
 
 * HOL: various syntax and library improvements.
 
-* HOL-Analysis: more material and better organization.
+* HOL libraries: better organization and much more material in HOL-Algebra,
+HOL-Analysis, HOL-Homology.
 
 * Isabelle/ML environments for separate SML applications.