1.1 --- a/NEWS	Thu Oct 21 14:54:39 2010 +0200
     1.2 +++ b/NEWS	Thu Oct 21 14:55:09 2010 +0200
     1.3 @@ -276,18 +276,28 @@
     1.4    meson_disj_FalseD2 ~> Meson.disj_FalseD2
     1.5  INCOMPATIBILITY.
     1.6  
     1.7 -* Sledgehammer: Renamed lemmas:
     1.8 -  COMBI_def ~> Meson.COMBI_def
     1.9 -  COMBK_def ~> Meson.COMBK_def
    1.10 -  COMBB_def ~> Meson.COMBB_def
    1.11 -  COMBC_def ~> Meson.COMBC_def
    1.12 -  COMBS_def ~> Meson.COMBS_def
    1.13 -  abs_I ~> Meson.abs_I
    1.14 -  abs_K ~> Meson.abs_K
    1.15 -  abs_B ~> Meson.abs_B
    1.16 -  abs_C ~> Meson.abs_C
    1.17 -  abs_S ~> Meson.abs_S
    1.18 -INCOMPATIBILITY.
    1.19 +* Sledgehammer:
    1.20 +  - Renamed lemmas:
    1.21 +    COMBI_def ~> Meson.COMBI_def
    1.22 +    COMBK_def ~> Meson.COMBK_def
    1.23 +    COMBB_def ~> Meson.COMBB_def
    1.24 +    COMBC_def ~> Meson.COMBC_def
    1.25 +    COMBS_def ~> Meson.COMBS_def
    1.26 +    abs_I ~> Meson.abs_I
    1.27 +    abs_K ~> Meson.abs_K
    1.28 +    abs_B ~> Meson.abs_B
    1.29 +    abs_C ~> Meson.abs_C
    1.30 +    abs_S ~> Meson.abs_S
    1.31 +    INCOMPATIBILITY.
    1.32 +  - Renamed commands:
    1.33 +    sledgehammer atp_info ~> sledgehammer running_provers
    1.34 +    sledgehammer atp_kill ~> sledgehammer kill_provers
    1.35 +    sledgehammer available_atps ~> sledgehammer available_provers
    1.36 +    INCOMPATIBILITY.
    1.37 +  - Renamed options:
    1.38 +    sledgehammer [atps = ...] ~> sledgehammer [provers = ...]
    1.39 +    sledgehammer [atp = ...] ~> sledgehammer [provers = ...]
    1.40 +    INCOMPATIBILITY.
    1.41  
    1.42  
    1.43  *** FOL ***