diff -r c59af027a2e5 -r b601c2c87076 NEWS
--- a/NEWS	Wed Apr 10 23:12:27 2019 +0100
+++ b/NEWS	Thu Apr 11 15:26:04 2019 +0100
@@ -243,10 +243,14 @@
 * Session HOL-Number_Theory: More material on residue rings in
 Carmichael's function, primitive roots, more properties for "ord".
 
-* Session HOL-Analysis: Better organization and much more material,
-including algebraic topology.
-
-* Session HOL-Algebra: Much more material on group theory.
+* Session HOL-Homology: New, a port of HOL Light's homology library,
+with new proofs of "invariance of domain" and related results.
+
+* Session HOL-Analysis: Better organization and much more material
+at the level of abstract topological spaces.
+
+* Session HOL-Algebra: Much more material on group theory, mostly ported
+from HOL Light.
 
 * Session HOL-SPARK: .prv files are no longer written to the
 file-system, but exported to the session database. Results may be