--- 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