NEWS

--- a/NEWS	Wed Apr 08 19:05:57 2015 +0200
+++ b/NEWS	Wed Apr 08 19:15:55 2015 +0200
@@ -293,6 +293,8 @@
 * Sledgehammer:
   - CVC4 is now included with Isabelle instead of CVC3 and run by
     default.
+  - Z3 is now always enabled by default, now that it is fully open
+    source. The "z3_non_commercial" option is discontinued.
   - Minimization is now always enabled by default.
     Removed subcommand:
       min