# 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