# HG changeset patch
# User blanchet
# Date 1423662836 -3600
# Node ID ef65605a7d9ca70fd3b877140a3758a4a908a9b8
# Parent  b1c1f6f9a2124055fbc0ce3046df34c1606649fc
updated NEWS

diff -r b1c1f6f9a212 -r ef65605a7d9c NEWS
--- a/NEWS	Wed Feb 11 14:51:36 2015 +0100
+++ b/NEWS	Wed Feb 11 14:53:56 2015 +0100
@@ -159,6 +159,8 @@
     operations.
 
 * Sledgehammer:
+  - CVC4 is now included with Isabelle instead of CVC3 and run by
+    default.
   - Minimization is now always enabled by default.
     Removed subcommand:
       min