NEWS
changeset 49365 8aebe857aaaa
parent 49310 6e30078de4f0
child 49388 1ffd5a055acf
--- a/NEWS	Fri Sep 14 12:09:27 2012 +0200
+++ b/NEWS	Fri Sep 14 12:09:27 2012 +0200
@@ -126,6 +126,7 @@
   - Added MaSh relevance filter based on machine-learning; see the
     Sledgehammer manual for details.
   - Rationalized type encodings ("type_enc" option).
+  - Renamed "kill_provers" subcommand to "kill"
   - Renamed options:
       max_relevant ~> max_facts
       relevance_thresholds ~> fact_thresholds