Update CHANGELOG.
Add entries for BoundedList and Foldable changes.
commit990d96f274c2f611540351ae0ffd9f1fad80a732
authorGreg Pfeil <greg@technomadic.org>
dateTue 20 May 2014, 09:12 (12 years ago)
parente2668a5
CHANGELOG+2
@@ -23,6 +23,8 @@ New in 0.9.13:
2323* Added :makelemma command, which adds a new top level definition to solve
2424 a metavariable.
2525* Extend :addclause to add instance bodies as well as definitions
26+* Reverse parameters to BoundedList -- now matches Vect, and is easier to instantiate classes.
27+* Move foldl into Foldable so it can be overridden.
2628
2729Internal changes
2830