1.1 --- a/NEWS	Thu Sep 19 18:03:54 2013 +0200
     1.2 +++ b/NEWS	Thu Sep 19 18:59:28 2013 +0200
     1.3 @@ -388,9 +388,13 @@
     1.4  
     1.5  INCOMPATIBILITY.
     1.6  
     1.7 +* Nitpick:
     1.8 +  - Reduce incidence of "too high arity" errors
     1.9 +
    1.10  * Sledgehammer:
    1.11    - Renamed option:
    1.12        isar_shrink ~> isar_compress
    1.13 +    INCOMPATIBILITY.
    1.14    - Better support for "isar_proofs"
    1.15  
    1.16  * Imperative-HOL: The MREC combinator is considered legacy and no