# HG changeset patch
# User paulson <lp15@cam.ac.uk>
# Date 1554752223 -3600
# Node ID 2d19e7eb027a313c9c7e73d3ec2288e5d5df5dbd
# Parent  72c52a897de201ea924060c040547b003d56dd1a
NEWS on homology

diff -r 72c52a897de2 -r 2d19e7eb027a NEWS
--- a/NEWS	Mon Apr 08 15:26:54 2019 +0100
+++ b/NEWS	Mon Apr 08 20:37:03 2019 +0100
@@ -233,7 +233,10 @@
 * Session HOL-Number_Theory: More material on residue rings in
 Carmichael's function, primitive roots, more properties for "ord".
 
-* Session HOL-Analysis: More material and better organization.
+* Session HOL-Analysis: Better organization and much more material,
+including algebraic topology.
+
+* Session HOL-Algebra: Much more material on group theory.
 
 * Session HOL-SPARK: .prv files are no longer written to the
 file-system, but exported to the session database. Results may be