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: