Commit cecf3d62 authored by Robbert Krebbers's avatar Robbert Krebbers


parent c918f68f
......@@ -46,6 +46,9 @@ Coq development, but not every API-breaking change is listed. Changes marked
basic proofmode support.
* Sealed the definitions of `big_opS`, `big_opMS`, `big_opM` and `big_sepM2`
to prevent undesired simplification.
* Better handling of persistent results in `iDestruct`, `iPoseProof`, `iAssert`,
and friends. See for
more details.
## 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