diff -r 860198428664 -r aa41be39aa99 NEWS
--- a/NEWS	Sun Oct 27 20:07:59 2019 -0400
+++ b/NEWS	Sun Oct 27 20:11:30 2019 -0400
@@ -83,6 +83,9 @@
 * Theory Complete_Lattices:
 renamed Inf_Sup -> Inf_eq_Sup and Sup_Inf -> Sup_eq_Inf
 
+* Session HOL-Analysis: Method "metric" implements a decision procedure
+for simple linear statements in metric spaces.
+
 *** ML ***
 
 * Theory construction may be forked internally, the operation