NEWS
changeset 31804 627d142fce19
parent 31790 05c92381363c
child 31810 a6b800855cdd
     1.1 --- a/NEWS	Thu Jun 25 07:34:30 2009 +0200
     1.2 +++ b/NEWS	Thu Jun 25 14:59:29 2009 +0200
     1.3 @@ -62,6 +62,9 @@
     1.4  
     1.5  * Simplified interfaces of datatype module.  INCOMPATIBILITY.
     1.6  
     1.7 +* Abbreviation "arbitrary" of "undefined" has disappeared; use "undefined" directly.
     1.8 +INCOMPATIBILITY.
     1.9 +
    1.10  
    1.11  *** ML ***
    1.12