1.1 --- a/NEWS	Tue Nov 06 15:12:31 2012 +0100
     1.2 +++ b/NEWS	Tue Nov 06 15:15:33 2012 +0100
     1.3 @@ -227,7 +227,7 @@
     1.4    - Renamed "kill_provers" subcommand to "kill"
     1.5    - Renamed options:
     1.6        isar_proof ~> isar_proofs
     1.7 -      isar_shrink_factor ~> isar_shrinkage
     1.8 +      isar_shrink_factor ~> isar_shrink
     1.9        max_relevant ~> max_facts
    1.10        relevance_thresholds ~> fact_thresholds
    1.11