diff options
Diffstat (limited to 'CHANGELOG_UNRELEASED.md')
| -rw-r--r-- | CHANGELOG_UNRELEASED.md | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/CHANGELOG_UNRELEASED.md b/CHANGELOG_UNRELEASED.md index 542bfb3..9ea88fd 100644 --- a/CHANGELOG_UNRELEASED.md +++ b/CHANGELOG_UNRELEASED.md @@ -386,6 +386,9 @@ The format is based on [Keep a Changelog](https://keepachangelog.com/en/1.0.0/). - in `order.v`, generalized `sort_le_id` for any `porderType`. +- in `order.v`, the names of lemmas `join_idPl` and `join_idPr` are transposed + to follow the naming convention. + - the following constants have been tuned to only reduce when they do not expose a match: `subn_rec`, `decode_rec`, `nth` (thus avoiding a notorious problem of ``p`_0`` expanding too eagerly), `set_nth`, @@ -396,6 +399,9 @@ The format is based on [Keep a Changelog](https://keepachangelog.com/en/1.0.0/). constructors, the case `mask [::] s` can be dealt with using `mask0s` or explicit conversion. +- in `ssrnum.v`, fixed notations `@minr` and `@maxr` to point `Order.min` and + `Order.max` respectively. + ### Renamed - `big_rmcond` -> `big_rmcond_in` (cf Changed section) |