diff options
| author | Cyril Cohen | 2020-11-09 12:39:21 +0100 |
|---|---|---|
| committer | GitHub | 2020-11-09 12:39:21 +0100 |
| commit | f9d2b38be7a113fe2f0bae34d5a5e8ccf279e5b7 (patch) | |
| tree | bd46c2a1d3c7e3de3ebff689521aa4a4db4249a0 | |
| parent | c33309d4279c5d6483af54b54fe6aa326e289f9b (diff) | |
| parent | 28a131e82248456137dd08c889fe0cb9e6c792d8 (diff) | |
Merge pull request #637 from CohenCyril/fix_changelog
Fix changelog
| -rw-r--r-- | CHANGELOG_UNRELEASED.md | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/CHANGELOG_UNRELEASED.md b/CHANGELOG_UNRELEASED.md index 57e5e28..f3b72ef 100644 --- a/CHANGELOG_UNRELEASED.md +++ b/CHANGELOG_UNRELEASED.md @@ -256,7 +256,7 @@ The format is based on [Keep a Changelog](https://keepachangelog.com/en/1.0.0/). ### Changed -- in ssrbool.v, use `Reserved Notation` for `[rel _ _ : _ | _]` to avoid warnings with coq-8.12 +- in `ssrbool.v`, use `Reserved Notation` for `[rel _ _ : _ | _]` to avoid warnings with coq-8.12 - in `ssrAC.v`, fix `non-reversible-notation` warnings - In the definition of structures in order.v, displays are removed from @@ -329,7 +329,7 @@ The format is based on [Keep a Changelog](https://keepachangelog.com/en/1.0.0/). - `big_rmcond` -> `big_rmcond_in` (cf Changed section) - `mem_imset` -> `imset_f` (with deprecation alias, cf. Added section) -- `mem_imset2` -> imset2_f` (with deprecation alias, cf. Added section) +- `mem_imset2` -> `imset2_f` (with deprecation alias, cf. Added section) - in `interval.v`, we deprecate, rename, and relocate to `order.v` the following: + `lersif_(trans|anti)` -> `lteif_(trans|anti)` |