NEWS
changeset 55315 54b0352fb46d
parent 55297 1dfcd49f5dcb
child 55316 885500f4aa6a
     1.1 --- a/NEWS	Tue Feb 04 01:03:28 2014 +0100
     1.2 +++ b/NEWS	Tue Feb 04 01:35:48 2014 +0100
     1.3 @@ -122,6 +122,10 @@
     1.4        isar_try0 ~> try0_isar
     1.5      INCOMPATIBILITY.
     1.6  
     1.7 +* Metis:
     1.8 +  - Removed legacy proof method 'metisFT'. Use 'metis (full_types)' instead.
     1.9 +    INCOMPATIBILITY.
    1.10 +
    1.11  * Try0: Added 'algebra' and 'meson' to the set of proof methods.
    1.12  
    1.13  * The symbol "\<newline>" may be used within char or string literals