NEWS

--- a/NEWS	Mon Oct 25 09:29:43 2010 +0200
+++ b/NEWS	Mon Oct 25 10:30:46 2010 +0200
@@ -276,6 +276,9 @@
   meson_disj_FalseD2 ~> Meson.disj_FalseD2
 INCOMPATIBILITY.
 
+* Auto Solve: Renamed "Auto Solve Direct". The tool is now available manually as
+  "solve_direct".
+
 * Sledgehammer:
   - Renamed lemmas:
     COMBI_def ~> Meson.COMBI_def