Commit 5219161d authored by Ralf Jung's avatar Ralf Jung
Browse files

release Iris 3.3

parent 632ab9f1
...@@ -3,7 +3,7 @@ way the logic is used on paper. We also document changes in the Coq ...@@ -3,7 +3,7 @@ way the logic is used on paper. We also document changes in the Coq
development; every API-breaking change should be listed, but not every new development; every API-breaking change should be listed, but not every new
lemma. lemma.
## Iris master ## Iris 3.3.0 (released 2020-07-15)
This release does not have any outstanding highlights, but contains a large This release does not have any outstanding highlights, but contains a large
number of improvements all over the board. For instance: number of improvements all over the board. For instance:
......
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