NEWS

--- a/NEWS	Thu Sep 19 18:03:54 2013 +0200
+++ b/NEWS	Thu Sep 19 18:59:28 2013 +0200
@@ -388,9 +388,13 @@
 
 INCOMPATIBILITY.
 
+* Nitpick:
+  - Reduce incidence of "too high arity" errors
+
 * Sledgehammer:
   - Renamed option:
       isar_shrink ~> isar_compress
+    INCOMPATIBILITY.
   - Better support for "isar_proofs"
 
 * Imperative-HOL: The MREC combinator is considered legacy and no