NEWS
changeset 60306 6b7c64ab8bd2
parent 60301 ff82ba1893c8
child 60310 932221b62e89
     1.1 --- a/NEWS	Thu May 28 09:50:17 2015 +0200
     1.2 +++ b/NEWS	Thu May 28 10:18:46 2015 +0200
     1.3 @@ -10,6 +10,11 @@
     1.4  
     1.5  * Discontinued simp_legacy_precond. Potential INCOMPATIBILITY.
     1.6  
     1.7 +* Sledgehammer:
     1.8 +  - Proof reconstruction has been improved, to minimize the incidence of
     1.9 +    cases where Sledgehammer gives a proof that does not work.
    1.10 +  - Auto Sledgehammer now minimizes and preplays the results.
    1.11 +
    1.12  
    1.13  New in Isabelle2015 (May 2015)
    1.14  ------------------------------