NEWS

--- a/NEWS	Tue Feb 04 01:03:28 2014 +0100
+++ b/NEWS	Tue Feb 04 01:35:48 2014 +0100
@@ -122,6 +122,10 @@
       isar_try0 ~> try0_isar
     INCOMPATIBILITY.
 
+* Metis:
+  - Removed legacy proof method 'metisFT'. Use 'metis (full_types)' instead.
+    INCOMPATIBILITY.
+
 * Try0: Added 'algebra' and 'meson' to the set of proof methods.
 
 * The symbol "\<newline>" may be used within char or string literals