NEWS

--- a/NEWS	Thu Mar 29 14:47:31 2012 +0200
+++ b/NEWS	Thu Mar 29 17:40:44 2012 +0200
@@ -425,6 +425,9 @@
   - Added possibility to specify lambda translations scheme as a
     parenthesized argument (e.g., "by (metis (lifting) ...)").
 
+* SMT:
+  - renamed "smt_fixed" option to "smt_read_only_certificates".
+ 
 * Command 'try0':
   - Renamed from 'try_methods'. INCOMPATIBILITY.