--- a/NEWS Wed Feb 24 07:06:39 2010 -0800
+++ b/NEWS Wed Feb 24 20:37:01 2010 +0100
@@ -38,6 +38,8 @@
and ML_command "set Syntax.trace_ast" help to diagnose syntax
problems.
+* Type constructors admit general mixfix syntax, not just infix.
+
*** Pure ***