1.1 --- a/NEWS	Fri Sep 14 12:09:27 2012 +0200
     1.2 +++ b/NEWS	Fri Sep 14 12:09:27 2012 +0200
     1.3 @@ -126,6 +126,7 @@
     1.4    - Added MaSh relevance filter based on machine-learning; see the
     1.5      Sledgehammer manual for details.
     1.6    - Rationalized type encodings ("type_enc" option).
     1.7 +  - Renamed "kill_provers" subcommand to "kill"
     1.8    - Renamed options:
     1.9        max_relevant ~> max_facts
    1.10        relevance_thresholds ~> fact_thresholds