# HG changeset patch
# User bulwahn
# Date 1333035644 -7200
# Node ID ed681ca1188a6833876aaf0d2c316971798b66b4
# Parent  6012241abe938be5d4403072346e9914e4b1b931
announcing NEWS (cf. 446cfc760ccf)

diff -r 6012241abe93 -r ed681ca1188a 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.