NEWS

--- a/NEWS	Tue Nov 06 15:12:31 2012 +0100
+++ b/NEWS	Tue Nov 06 15:15:33 2012 +0100
@@ -227,7 +227,7 @@
   - Renamed "kill_provers" subcommand to "kill"
   - Renamed options:
       isar_proof ~> isar_proofs
-      isar_shrink_factor ~> isar_shrinkage
+      isar_shrink_factor ~> isar_shrink
       max_relevant ~> max_facts
       relevance_thresholds ~> fact_thresholds