correcting NEWS
authorbulwahn
Tue, 13 Sep 2011 09:56:38 +0200
changeset 45785f0fd38929d21
parent 45784 48240fb48980
child 45786 635ae0a73688
child 45787 840d8c3d9113
correcting NEWS
NEWS
     1.1 --- a/NEWS	Tue Sep 13 09:28:03 2011 +0200
     1.2 +++ b/NEWS	Tue Sep 13 09:56:38 2011 +0200
     1.3 @@ -249,7 +249,7 @@
     1.4    an abstract type. INCOMPATIBILITY.
     1.5  
     1.6    - RBT is split into RBT and RBT_Mapping.
     1.7 -  - AssocList is split and renamed into AList_Impl and AList_Mapping.
     1.8 +  - AssocList is split and renamed into AList and AList_Mapping.
     1.9    - DList is split into DList_Impl, DList, and DList_Cset.
    1.10    - Cset is split into Cset and List_Cset.
    1.11