# HG changeset patch
# User wenzelm
# Date 1554905745 -7200
# Node ID 491453ea09bb2b3027fe4780e236ee5340af7150
# Parent  55220f2d09d2bb7e839db3cc477f8d655e6bc48a
updated for release;

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.