1.1 --- a/NEWS Mon Jun 27 14:56:28 2011 +0200
1.2 +++ b/NEWS Mon Jun 27 14:56:29 2011 +0200
1.3 @@ -85,12 +85,14 @@
1.4 INCOMPATIBILITY.
1.5 - Added support for SNARK and ToFoF-E on SystemOnTPTP and for simply typed
1.6 TPTP problems (TFF).
1.7 - - Added "type_sys", "max_mono_iters", and "max_new_mono_instances" options.
1.8 + - Added "type_sys", "sound", "max_mono_iters", and "max_new_mono_instances"
1.9 + options.
1.10 - Removed "full_types" option and corresponding Proof General menu item.
1.11 + INCOMPATIBILITY.
1.12
1.13 * Metis:
1.14 - - Removed "metisF" -- use "metis" instead.
1.15 - - Obsoleted "metisFT" -- use "metis (full_types)" instead.
1.16 + - Removed "metisF" -- use "metis" instead. INCOMPATIBILITY.
1.17 + - Obsoleted "metisFT" -- use "metis (full_types)" instead. INCOMPATIBILITY.
1.18
1.19 * "try":
1.20 - Renamed "try_methods" and added "simp:", "intro:", "dest:", and "elim:"