diff options
| author | Kazuhiko Sakaguchi | 2020-11-25 07:39:09 +0900 |
|---|---|---|
| committer | GitHub | 2020-11-24 23:39:09 +0100 |
| commit | 7189708809e3c79effe40a2c9ecf693f66423cd3 (patch) | |
| tree | ade92936c345056098fd17782cf63714681c4a06 /CHANGELOG_UNRELEASED.md | |
| parent | 7d41b02be0fa9e317464ac0803aad18fb15981c5 (diff) | |
Transpose `join_idP(l|r)` lemmas to follow the naming convention (#671)
Transpose `join_idP(l|r)` lemmas to follow the naming convention
Diffstat (limited to 'CHANGELOG_UNRELEASED.md')
| -rw-r--r-- | CHANGELOG_UNRELEASED.md | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/CHANGELOG_UNRELEASED.md b/CHANGELOG_UNRELEASED.md index 71cc9a9..90858f5 100644 --- a/CHANGELOG_UNRELEASED.md +++ b/CHANGELOG_UNRELEASED.md @@ -376,6 +376,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`, |