NEWS
changeset 59949 fc4c896c8e74
parent 59939 7d46aa03696e
child 59951 8c49daca5d9f
     1.1 --- a/NEWS	Tue Apr 07 15:14:14 2015 +0200
     1.2 +++ b/NEWS	Tue Apr 07 18:21:56 2015 +0200
     1.3 @@ -302,6 +302,7 @@
     1.4    - Renamed
     1.5        in_multiset_of ~> in_multiset_in_set
     1.6      INCOMPATIBILITY.
     1.7 +  - Removed mcard, is equal to size.
     1.8    - Added attributes:
     1.9        image_mset.id [simp]
    1.10        image_mset_id [simp]