--- 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