# HG changeset patch
# User blanchet
# Date 1342815586 -7200
# Node ID 327ebf1c42a8a4ace7daab841eabed0d261aacd1
# Parent  e740216ca28df088141927196bd5f6086389629a
added MaSh to news

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