Mercurial Mercurial > repos > testboard / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
NEWS
changeset 57212 f25dad3d6144
parent 57112 70395c65c0e3
child 57237 bc51864c2ac4 
--- a/NEWS	Wed Jun 11 11:28:46 2014 +0200
+++ b/NEWS	Wed Jun 11 11:28:46 2014 +0200
@@ -382,8 +382,7 @@
 * SMT module:
   * A new version of the SMT module, temporarily called "SMT2", uses SMT-LIB 2
     and supports recent versions of Z3 (e.g., 4.3). The new proof method is
-    called "smt2", and the new Z3 is called "z3_new" in Sledgehammer and
-    elsewhere.
+    called "smt2".
 
 * Sledgehammer:
   - New prover "z3_new" with support for Isar proofs
testboard