# HG changeset patch
# User blanchet
# Date 1379609968 -7200
# Node ID 9868e6d4733f48a4abcdca27f1a18ff818288a84
# Parent  eab25a77af3952f387d7485705163f46d3209f56
updated NEWS

diff -r eab25a77af39 -r 9868e6d4733f 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