--- a/ANNOUNCE Tue Jan 05 17:54:10 2016 +0100
+++ b/ANNOUNCE Tue Jan 05 17:54:21 2016 +0100
@@ -20,8 +20,7 @@
* HOL tool enhancements: Sledgehammer, Nitpick, Quickcheck, Transfer.
-* Many HOL library improvements, including advanced topological concepts and
-integration theory ported from HOL Light.
+* Many HOL library improvements, notably HOL-Multivariate_Analysis.
* Upgrade to Poly/ML 5.6 with debugger IDE support (Isabelle/ML and Standard
ML), per-thread profiling, native Windows version (32bit and 64bit).