# HG changeset patch
# User paulson <lp15@cam.ac.uk>
# Date 1688981738 -3600
# Node ID aabbf14723fc5bb4a7076f7457cb3ee573e48fd9
# Parent  c5ddf5b82b6977c15645ebf10508f086942fac58
NEWS tweak

diff -r c5ddf5b82b69 -r aabbf14723fc NEWS
--- a/NEWS	Sun Jul 09 16:38:00 2023 +0100
+++ b/NEWS	Mon Jul 10 10:35:38 2023 +0100
@@ -322,7 +322,7 @@
 
 * Session "HOL-Analysis":
   - Imported the HOL Light abstract metric space library and numerous
-    associated topological developments.
+    results in abstract topology (1200+ lemmas).
   - New material on infinite sums and integration, due to Manuel Eberl
     and Wenda Li.