diff -r dafba3a1dc5b -r 2df58ba31be7 NEWS
--- a/NEWS	Wed Nov 17 16:13:33 2010 -0800
+++ b/NEWS	Fri Nov 19 09:07:23 2010 -0800
@@ -314,6 +314,8 @@
   "solve_direct".
 
 * Sledgehammer:
+  - Added "smt" and "remote_smt" provers based on the "smt" proof method. See
+    the Sledgehammer manual for details ("isabelle doc sledgehammer").
   - Renamed lemmas:
     COMBI_def ~> Meson.COMBI_def
     COMBK_def ~> Meson.COMBK_def