NEWS
changeset 55297 1dfcd49f5dcb
parent 55289 30d874dc7000
child 55315 54b0352fb46d
     1.1 --- a/NEWS	Mon Feb 03 19:32:02 2014 +0100
     1.2 +++ b/NEWS	Mon Feb 03 19:32:02 2014 +0100
     1.3 @@ -116,7 +116,7 @@
     1.4  
     1.5  * Sledgehammer:
     1.6    - New option:
     1.7 -      smt
     1.8 +      smt_proofs
     1.9    - Renamed options:
    1.10        isar_compress ~> compress_isar
    1.11        isar_try0 ~> try0_isar