author | blanchet |
Wed, 11 Jun 2014 11:28:46 +0200 | |
changeset 58554 | f25dad3d6144 |
parent 58553 | cc59d49bdf64 |
child 58555 | 9daec42f6784 |
1.1 --- a/NEWS Wed Jun 11 11:28:46 2014 +0200 1.2 +++ b/NEWS Wed Jun 11 11:28:46 2014 +0200 1.3 @@ -382,8 +382,7 @@ 1.4 * SMT module: 1.5 * A new version of the SMT module, temporarily called "SMT2", uses SMT-LIB 2 1.6 and supports recent versions of Z3 (e.g., 4.3). The new proof method is 1.7 - called "smt2", and the new Z3 is called "z3_new" in Sledgehammer and 1.8 - elsewhere. 1.9 + called "smt2". 1.10 1.11 * Sledgehammer: 1.12 - New prover "z3_new" with support for Isar proofs