Skip to content
Snippets Groups Projects
Commit 9453a8b5 authored by Robbert Krebbers's avatar Robbert Krebbers
Browse files

CHANGELOG.

parent 38d04e99
No related branches found
No related tags found
1 merge request!370Avoid universe bumps of `gset`/`mapset` (fixes #134)
Hide whitespace changes
Inline Side-by-side
Showing
with 4 additions and 0 deletions
CHANGELOG.md
+ 4
− 0
View file @ 9453a8b5
This file lists "large-ish" changes to the std++ Coq library, but not every This file lists "large-ish" changes to the std++ Coq library, but not every
API-breaking change is listed. API-breaking change is listed.
## std++ master
- Make sure that `gset` and `mapset` do not bump the universe.
## std++ 1.7.0 (2022-01-22) ## std++ 1.7.0 (2022-01-22)
Coq 8.15 is newly supported by this release, and Coq 8.11 to 8.14 remain Coq 8.15 is newly supported by this release, and Coq 8.11 to 8.14 remain
......
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment