1.1 --- a/NEWS	Wed Jul 18 08:44:03 2012 +0200
     1.2 +++ b/NEWS	Wed Jul 18 08:44:03 2012 +0200
     1.3 @@ -42,6 +42,9 @@
     1.4  * Sledgehammer:
     1.5  
     1.6    - Rationalized type encodings ("type_enc" option).
     1.7 +  - Renamed options:
     1.8 +      max_relevant ~> max_facts
     1.9 +      relevance_thresholds ~> fact_thresholds
    1.10  
    1.11  
    1.12  *** Document preparation ***