# HG changeset patch # User wenzelm # Date 1181724275 -7200 # Node ID 05f399115ba5ba60377507326d9b77a1ae643859 # Parent a1e61b5c000ff8a56858267bf4b042accb704984 tuned; diff -r a1e61b5c000f -r 05f399115ba5 NEWS --- a/NEWS Wed Jun 13 10:43:38 2007 +0200 +++ b/NEWS Wed Jun 13 10:44:35 2007 +0200 @@ -8,7 +8,8 @@ * More uniform information about legacy features, notably a warning/error of "Legacy feature: ...", depending on the state of the -tolerate_legacy_features flag (default true). +tolerate_legacy_features flag (default true). FUTURE INCOMPATIBILITY: +legacy features will disappear eventually. * Theory syntax: the header format ``theory A = B + C:'' has been discontinued in favour of ``theory A imports B C begin''. Use isatool