NEWS
changeset 22826 0f4c501a691e
parent 22799 ed7d53db2170
child 22845 5f9138bcb3d7
     1.1 --- a/NEWS	Mon Apr 30 13:22:35 2007 +0200
     1.2 +++ b/NEWS	Mon Apr 30 13:32:58 2007 +0200
     1.3 @@ -6,6 +6,10 @@
     1.4  
     1.5  *** General ***
     1.6  
     1.7 +* More uniform information about legacy features, notably a
     1.8 +warning/error of "Legacy feature: ...", depending on the state of the
     1.9 +tolerate_legacy_features flag (default true).
    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
    1.13  fixheaders to convert existing theory files.  INCOMPATIBILITY.