updated NEWS slightly
authorblanchet
Wed Jun 11 11:28:46 2014 +0200 (2014-06-11)
changeset 57212f25dad3d6144
parent 57211 cc59d49bdf64
child 57213 9daec42f6784
updated NEWS slightly
NEWS
     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