Skip to content
Snippets Groups Projects
Commit 10bc4e2a authored by Ralf Jung's avatar Ralf Jung
Browse files

release version 1.2.0

parent 32eab16e
No related branches found
Tags coq-stdpp-1.2.0
No related merge requests found
This file lists "large-ish" changes to the std++ Coq library, but not every
API-breaking change is listed.
## std++ 1.2.0 (released TBA)
## std++ 1.2.0 (released 2019-04-26)
Coq 8.9 is supported by this release, but Coq 8.6 is no longer supported. Use
std++ 1.1 if you have to use Coq 8.6. The repository moved to a new location at
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment