# HG changeset patch
# User blanchet
# Date 1548107185 -3600
# Node ID 920fe0a2fd2284f4a711c307b6ebdbd0156a8788
# Parent  6d6235b828fc9f381062d13702b3fb519eb15ff3
updated news

diff -r 6d6235b828fc -r 920fe0a2fd22 NEWS
--- a/NEWS	Mon Jan 21 22:29:41 2019 +0100
+++ b/NEWS	Mon Jan 21 22:46:25 2019 +0100
@@ -110,8 +110,11 @@
 are now uniformly called f_cong_simp, in accordance with congruence
 rules produced for mappers by the datatype package. INCOMPATIBILITY.
 
-* Sledgehammer: The URL for SystemOnTPTP, which is used by remote
-provers, has been updated.
+* Sledgehammer:
+  - The URL for SystemOnTPTP, which is used by remote provers, has
+    been updated.
+  - The machine-learning-based filter MaSh has been optimized to take
+    less time (in most cases).
 
 * SMT: reconstruction is now possible using the SMT solver veriT.