# HG changeset patch
# User blanchet
# Date 1428513355 -7200
# Node ID 7199ad93b744eb604c4f22000f87d0288c77c734
# Parent  5c95c94952df3b2b5a490c0f719cf6eef358c436
Z3 news

diff -r 5c95c94952df -r 7199ad93b744 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