NEWS

--- a/NEWS	Tue Oct 26 11:39:26 2010 +0200
+++ b/NEWS	Tue Oct 26 11:45:12 2010 +0200
@@ -306,6 +306,15 @@
     sledgehammer [atp = ...] ~> sledgehammer [prover = ...]
     INCOMPATIBILITY.
 
+* Changed SMT configuration options:
+  - Renamed:
+    z3_proofs ~> smt_oracle (with swapped semantics)
+    z3_trace_assms ~> smt_trace_used_facts
+    INCOMPATIBILITY.
+  - Added:
+    cvc3_options
+    yices_options
+    smt_datatypes
 
 *** FOL ***