aboutsummaryrefslogtreecommitdiff
path: root/doc/changelog/10-standard-library/11350-list.rst
blob: 52c2517161ed69ff0274b84d98c174d342b9769f (plain)
1
2
3
4
5
- **Added:**
  ``remove'`` and ``count_occ'`` over lists,
  alternatives to ``remove`` and ``count_occ`` based on ``filter``
  (`#11350 <https://github.com/coq/coq/pull/11350>`_,
  by Yishuai Li).