Commit 5786207a authored by Ralf Jung's avatar Ralf Jung
Browse files

add name list to changelog

parent 97d3fc71
Pipeline #41909 passed with stage
in 8 minutes and 40 seconds
This file lists "large-ish" changes to the std++ Coq library, but not every
API-breaking change is listed.
## std++ master
## std++ 1.5.0
This release of Iris received contributions by Alix Trieu, Dan Frumin, Hugo
Herbelin, Paulo Emílio de Vilhena, Ralf Jung, Robbert Krebbers, Simon Friis
Vindum, and Tej Chajed. Thanks a lot to everyone involved!
Coq 8.13 is newly supported by this release, Coq 8.8 and 8.9 are no longer
Supports Markdown
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