NEWS

--- a/NEWS	Thu Oct 18 14:26:45 2012 +0200
+++ b/NEWS	Thu Oct 18 15:05:17 2012 +0200
@@ -185,6 +185,8 @@
   - Rationalized type encodings ("type_enc" option).
   - Renamed "kill_provers" subcommand to "kill"
   - Renamed options:
+      isar_proof ~> isar_proofs
+      isar_shrink_factor ~> isar_shrinkage
       max_relevant ~> max_facts
       relevance_thresholds ~> fact_thresholds