1.1 --- a/NEWS	Fri Jan 04 19:00:49 2013 +0100
     1.2 +++ b/NEWS	Fri Jan 04 19:00:49 2013 +0100
     1.3 @@ -139,7 +139,7 @@
     1.4      Sledgehammer manual for details.
     1.5    - Polished Isar proofs generated with "isar_proofs" option.
     1.6    - Rationalized type encodings ("type_enc" option).
     1.7 -  - Renamed "kill_provers" subcommand to "kill".
     1.8 +  - Renamed "kill_provers" subcommand to "kill_all".
     1.9    - Renamed options:
    1.10        isar_proof ~> isar_proofs
    1.11        isar_shrink_factor ~> isar_shrink