updated news
authorblanchet
Fri Feb 15 09:17:20 2013 +0100 (2013-02-15)
changeset 51137077456580eca
parent 51136 fdcc06013f2d
child 51138 583a37b9512d
updated news
NEWS
     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  -----------------------------------