NEWS
changeset 23367 05f399115ba5
parent 23300 b785068bd5dc
child 23369 227c51012cdb
     1.1 --- a/NEWS	Wed Jun 13 10:43:38 2007 +0200
     1.2 +++ b/NEWS	Wed Jun 13 10:44:35 2007 +0200
     1.3 @@ -8,7 +8,8 @@
     1.4  
     1.5  * More uniform information about legacy features, notably a
     1.6  warning/error of "Legacy feature: ...", depending on the state of the
     1.7 -tolerate_legacy_features flag (default true).
     1.8 +tolerate_legacy_features flag (default true). FUTURE INCOMPATIBILITY:
     1.9 +legacy features will disappear eventually.
    1.10  
    1.11  * Theory syntax: the header format ``theory A = B + C:'' has been
    1.12  discontinued in favour of ``theory A imports B C begin''.  Use isatool