--- a/NEWS Thu Jun 25 07:34:30 2009 +0200
+++ b/NEWS Thu Jun 25 14:59:29 2009 +0200
@@ -62,6 +62,9 @@
* Simplified interfaces of datatype module. INCOMPATIBILITY.
+* Abbreviation "arbitrary" of "undefined" has disappeared; use "undefined" directly.
+INCOMPATIBILITY.
+
*** ML ***