changeset 49417 | 327ebf1c42a8 |
parent 49386 | 3a5a5a992519 |
child 49443 | ffa0618cc4d4 |
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