--- a/NEWS Sat Mar 06 15:34:29 2010 +0100
+++ b/NEWS Sat Mar 06 15:39:16 2010 +0100
@@ -58,6 +58,9 @@
* Type constructors admit general mixfix syntax, not just infix.
+* Use of cumulative prems via "!" in some proof methods has been
+discontinued (legacy feature).
+
*** Pure ***