1.1 --- a/NEWS	Thu May 12 15:29:18 2011 +0200
     1.2 +++ b/NEWS	Thu May 12 15:29:18 2011 +0200
     1.3 @@ -69,7 +69,7 @@
     1.4      INCOMPATIBILITY.
     1.5    - Added support for SNARK and ToFoF-E on SystemOnTPTP and for simply typed
     1.6      TPTP problems (TFF).
     1.7 -  - Added "type_sys" and "monomorphize_limit" options.
     1.8 +  - Added "type_sys", "max_mono_iters", and "max_mono_instances" options.
     1.9  
    1.10  * "try":
    1.11    - Added "simp:", "intro:", and "elim:" options.