diff -r e740216ca28d -r 327ebf1c42a8 NEWS
--- a/NEWS	Fri Jul 20 22:19:46 2012 +0200
+++ b/NEWS	Fri Jul 20 22:19:46 2012 +0200
@@ -46,6 +46,8 @@
 
 * Sledgehammer:
 
+  - Added MaSh relevance filter based on machine-learning; see the
+    Sledgehammer manual for details.
   - Rationalized type encodings ("type_enc" option).
   - Renamed options:
       max_relevant ~> max_facts