1.1 --- a/NEWS	Thu Nov 18 18:09:08 2010 +0100
     1.2 +++ b/NEWS	Thu Nov 18 18:12:03 2010 +0100
     1.3 @@ -314,6 +314,8 @@
     1.4    "solve_direct".
     1.5  
     1.6  * Sledgehammer:
     1.7 +  - Added "smt" and "remote_smt" provers based on the "smt" proof method. See
     1.8 +    the Sledgehammer manual for details ("isabelle doc sledgehammer").
     1.9    - Renamed lemmas:
    1.10      COMBI_def ~> Meson.COMBI_def
    1.11      COMBK_def ~> Meson.COMBK_def