NEWS
changeset 59998 c54d36be22ef
parent 59991 09be0495dcc2
child 60006 fd9191f0d323
     1.1 --- a/NEWS	Thu Apr 09 23:10:08 2015 +0200
     1.2 +++ b/NEWS	Fri Apr 10 12:16:45 2015 +0200
     1.3 @@ -345,6 +345,8 @@
     1.4      INCOMPATIBILITY.
     1.5    - Renamed
     1.6        in_multiset_of ~> in_multiset_in_set
     1.7 +      Multiset.fold ~> fold_mset
     1.8 +      Multiset.filter ~> filter_mset
     1.9      INCOMPATIBILITY.
    1.10    - Removed mcard, is equal to size.
    1.11    - Added attributes: