diff options
| author | Cyril Cohen | 2020-11-11 23:07:35 +0100 |
|---|---|---|
| committer | Cyril Cohen | 2020-11-12 14:17:50 +0100 |
| commit | e0d5c492d95b6833879a920430833fdaa2d7b621 (patch) | |
| tree | c9a42b63c2a2c909fccce1bf422864c2ad92ff2c /CHANGELOG_UNRELEASED.md | |
| parent | 94dd02febd112669b6a1543695df2eea5291dcde (diff) | |
Apply suggestions from Kazuhiko
Co-authored-by: Kazuhiko Sakaguchi <pi8027@gmail.com>
Diffstat (limited to 'CHANGELOG_UNRELEASED.md')
| -rw-r--r-- | CHANGELOG_UNRELEASED.md | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/CHANGELOG_UNRELEASED.md b/CHANGELOG_UNRELEASED.md index 6d4985b..d7c3306 100644 --- a/CHANGELOG_UNRELEASED.md +++ b/CHANGELOG_UNRELEASED.md @@ -231,7 +231,8 @@ The format is based on [Keep a Changelog](https://keepachangelog.com/en/1.0.0/). - in `seq.v`, added `drop_index`, `in_mask`, `cons_subseq`, `undup_subseq`, `leq_count_mask`, `leq_count_subseq`, `count_maskP`, `count_subseqP`, `count_rem`, `count_mem_rem`, - `rem_cons`, `remE`, `subseq_rem` and `leq_count_uniq`. + `rem_cons`, `remE`, `subseq_rem`, `leq_uniq_countP`, and + `leq_uniq_count`. - in `fintype.v`, added `mask_enum_ord`. - in `bigop.v`, added `big_mask_tuple` and `big_mask`. - in `mxalgebra.v`, new notation `stablemx V f` asserting that `f` |