NEWS
changeset 43627 ecd4bb7a8bc0
parent 43613 7afbaf5a406b
child 43709 717e96cf9527
     1.1 --- a/NEWS	Fri Jul 01 15:53:38 2011 +0200
     1.2 +++ b/NEWS	Fri Jul 01 15:53:38 2011 +0200
     1.3 @@ -81,14 +81,14 @@
     1.4      INCOMPATIBILITY.
     1.5  
     1.6  * Sledgehammer:
     1.7 -  - sledgehammer available_provers ~> sledgehammer supported_provers
     1.8 +  - sledgehammer available_provers ~> sledgehammer supported_provers.
     1.9      INCOMPATIBILITY.
    1.10    - Added support for SNARK and ToFoF-E on SystemOnTPTP and for simply typed
    1.11      TPTP problems (TFF).
    1.12 -  - Added "type_sys", "sound", "max_mono_iters", and "max_new_mono_instances"
    1.13 -    options.
    1.14 -  - Removed "full_types" option and corresponding Proof General menu item.
    1.15 -    INCOMPATIBILITY.
    1.16 +  - Added "preplay_timeout", "slicing", "type_enc", "sound", "max_mono_iters",
    1.17 +    and "max_new_mono_instances" options.
    1.18 +  - Removed "explicit_apply" and "full_types" options as well as "Full Types"
    1.19 +    Proof General menu item. INCOMPATIBILITY.
    1.20  
    1.21  * Metis:
    1.22    - Removed "metisF" -- use "metis" instead. INCOMPATIBILITY.