NEWS
changeset 57532 c7dc1f0a2b8a
parent 57517 f4904e2b3040
child 57591 8c095aef6769
     1.1 --- a/NEWS	Wed Jul 09 11:35:52 2014 +0200
     1.2 +++ b/NEWS	Wed Jul 09 11:35:52 2014 +0200
     1.3 @@ -367,7 +367,7 @@
     1.4  * Sledgehammer:
     1.5    - Z3 can now produce Isar proofs.
     1.6    - MaSh overhaul:
     1.7 -    . New SML-based learning engines eliminate the dependency on
     1.8 +    . New SML-based learning algorithms eliminate the dependency on
     1.9        Python and increase performance and reliability.
    1.10      . MaSh and MeSh are now used by default together with the
    1.11        traditional MePo (Meng-Paulson) relevance filter. To disable