Commit 52be2278 authored by Ralf Jung's avatar Ralf Jung
Browse files

add changelog entry

parent 61046375
......@@ -38,6 +38,9 @@ Coq development, but not every API-breaking change is listed. Changes marked
explicitly (since TC search is performed less eagerly), and in few cases it is
needed to unfold definitions explicitly (due to new unification algorithm
behaving differently).
* Removed `Core` type class for defining the total core; it is now always
defined in terms of the partial core. The only user of this type class was the
## Iris 3.2.0 (released 2019-08-29)
Markdown is supported
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