Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
updated NEWS slightly
authorblanchet
Wed, 11 Jun 2014 11:28:46 +0200
changeset 57212 f25dad3d6144
parent 57211 cc59d49bdf64
child 57213 9daec42f6784
updated NEWS slightly
NEWS file | annotate | diff | comparison | revisions 
--- 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
isabelle