1.1 --- a/NEWS	Sun May 01 18:37:25 2011 +0200
     1.2 +++ b/NEWS	Sun May 01 18:37:25 2011 +0200
     1.3 @@ -60,7 +60,9 @@
     1.4  * Sledgehammer:
     1.5    - sledgehammer available_provers ~> sledgehammer supported_provers
     1.6      INCOMPATIBILITY.
     1.7 -  - Added "monomorphize", "monomorphize_limit", and "type_sys" options.
     1.8 +  - Added support for SNARK and ToFoF-E on SystemOnTPTP and for simply typed
     1.9 +    TPTP problems (TFF).
    1.10 +  - Added "type_sys" and "monomorphize_limit" options.
    1.11  
    1.12  * "try":
    1.13    - Added "simp:", "intro:", and "elim:" options.