author | blanchet |
Fri, 20 Jul 2012 22:19:46 +0200 | |
changeset 49417 | 327ebf1c42a8 |
parent 49416 | e740216ca28d |
child 49418 | 1f214c653c80 |
1.1 --- a/NEWS Fri Jul 20 22:19:46 2012 +0200 1.2 +++ b/NEWS Fri Jul 20 22:19:46 2012 +0200 1.3 @@ -46,6 +46,8 @@ 1.4 1.5 * Sledgehammer: 1.6 1.7 + - Added MaSh relevance filter based on machine-learning; see the 1.8 + Sledgehammer manual for details. 1.9 - Rationalized type encodings ("type_enc" option). 1.10 - Renamed options: 1.11 max_relevant ~> max_facts