NEWS

--- a/NEWS	Thu May 28 09:50:17 2015 +0200
+++ b/NEWS	Thu May 28 10:18:46 2015 +0200
@@ -10,6 +10,11 @@
 
 * Discontinued simp_legacy_precond. Potential INCOMPATIBILITY.
 
+* Sledgehammer:
+  - Proof reconstruction has been improved, to minimize the incidence of
+    cases where Sledgehammer gives a proof that does not work.
+  - Auto Sledgehammer now minimizes and preplays the results.
+
 
 New in Isabelle2015 (May 2015)
 ------------------------------