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

this is Iris 3.0.0!

parent a78ce3e7
No related branches found
No related tags found
No related merge requests found
Hide whitespace changes
Inline Side-by-side
Showing
with 1 addition and 1 deletion
CHANGELOG.md
+ 1
− 1
View file @ 7ceb1a82
......@@ -3,7 +3,7 @@ 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.0 (unfinished)
## Iris 3.0.0 (released 2017-01-11)
* There now is a deprecation process. The modules `*.deprecated` contain
deprecated notations and definitions that are provided for backwards
......
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