# HG changeset patch
# User blanchet
# Date 1400597202 -7200
# Node ID f7cf92543e6ca77e4d30246631a93faf6910fb67
# Parent  f013e3a830c3cad8f752696a845e8504a2eef6c2
news

diff -r f013e3a830c3 -r f7cf92543e6c NEWS
--- a/NEWS	Tue May 20 16:39:13 2014 +0200
+++ b/NEWS	Tue May 20 16:46:42 2014 +0200
@@ -380,6 +380,10 @@
 
 * Sledgehammer:
   - New prover "z3_new" with support for Isar proofs
+  - MaSh overhaul:
+      - A new SML-based learning engine eliminates the dependency on Python
+        and increases performance and reliability. See the Sledgehammer
+        documentation for details.
   - New option:
       smt_proofs
   - Renamed options: