NEWS

--- a/NEWS	Mon Feb 15 15:50:41 2010 +0100
+++ b/NEWS	Mon Feb 15 17:17:51 2010 +0100
@@ -9,6 +9,9 @@
 * Code generator: details of internal data cache have no impact on
 the user space functionality any longer.
 
+* Discontinued unnamed infix syntax (legacy feature for many years) --
+need to specify constant name and syntax separately.
+
 
 *** HOL ***