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.