NEWS
changeset 51137 077456580eca
parent 51115 7dbd6832a689
child 51143 0a2371e7ced3
     1.1 --- a/NEWS	Fri Feb 15 09:17:20 2013 +0100
     1.2 +++ b/NEWS	Fri Feb 15 09:17:20 2013 +0100
     1.3 @@ -19,6 +19,11 @@
     1.4  
     1.5  INCOMPATIBILITY.
     1.6  
     1.7 +* Sledgehammer:
     1.8 +
     1.9 +  - Renamed option:
    1.10 +      isar_shrink ~> isar_compress
    1.11 +
    1.12  
    1.13  New in Isabelle2013 (February 2013)
    1.14  -----------------------------------