news
authorblanchet
Tue May 20 16:46:42 2014 +0200 (2014-05-20)
changeset 57020f7cf92543e6c
parent 57019 f013e3a830c3
child 57024 c9e98c2498fd
news
NEWS
     1.1 --- a/NEWS	Tue May 20 16:39:13 2014 +0200
     1.2 +++ b/NEWS	Tue May 20 16:46:42 2014 +0200
     1.3 @@ -380,6 +380,10 @@
     1.4  
     1.5  * Sledgehammer:
     1.6    - New prover "z3_new" with support for Isar proofs
     1.7 +  - MaSh overhaul:
     1.8 +      - A new SML-based learning engine eliminates the dependency on Python
     1.9 +        and increases performance and reliability. See the Sledgehammer
    1.10 +        documentation for details.
    1.11    - New option:
    1.12        smt_proofs
    1.13    - Renamed options: