Commit 8927c9db authored by Ralf Jung's avatar Ralf Jung

document JH's recent change in the CHANGELOG

parent 7ec8d378
......@@ -3,6 +3,10 @@ way the logic is used on paper. We also mention some significant changes in the
Coq development, but not every API-breaking change is listed. Changes marked
`[#]` still need to be ported to the Iris Documentation LaTeX file(s).
## Iris 3.x.y
* [#] CMRA morphisms now have to be homomorphisms, not just monotone functions.
## Iris 3.0.0 (released 2017-01-11)
* There now is a deprecation process. The modules `*.deprecated` contain
......
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