--- a/NEWS Wed Jul 18 08:44:03 2012 +0200
+++ b/NEWS Wed Jul 18 08:44:03 2012 +0200
@@ -42,6 +42,9 @@
* Sledgehammer:
- Rationalized type encodings ("type_enc" option).
+ - Renamed options:
+ max_relevant ~> max_facts
+ relevance_thresholds ~> fact_thresholds
*** Document preparation ***