NEWS
changeset 57737 72d4c00064af
parent 57695 987c9ceeaafd
child 57882 38bf4de248a6
     1.1 --- a/NEWS	Fri Aug 01 14:43:57 2014 +0200
     1.2 +++ b/NEWS	Fri Aug 01 14:43:57 2014 +0200
     1.3 @@ -4,6 +4,13 @@
     1.4  New in this Isabelle version
     1.5  ----------------------------
     1.6  
     1.7 +*** HOL ***
     1.8 +
     1.9 +* Sledgehammer:
    1.10 +  - Minimization is now always enabled by default.
    1.11 +    Removed subcommand:
    1.12 +      min
    1.13 +
    1.14  
    1.15  
    1.16  New in Isabelle2014 (August 2014)