1.1 --- a/NEWS	Thu Mar 31 11:16:51 2011 +0200
     1.2 +++ b/NEWS	Thu Mar 31 11:16:52 2011 +0200
     1.3 @@ -49,6 +49,7 @@
     1.4  * Sledgehammer:
     1.5    - sledgehammer available_provers ~> sledgehammer supported_provers
     1.6      INCOMPATIBILITY.
     1.7 +  - Added "monomorphize" and "monomorphize_limit" options.
     1.8  
     1.9  * "try":
    1.10    - Added "simp:", "intro:", and "elim:" options.