updated for release;
authorwenzelm
Wed, 10 Apr 2019 16:15:45 +0200
changeset 70293 491453ea09bb
parent 70292 55220f2d09d2
child 70294 77f978dd8ffb
updated for release;
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.