Commit 846d5cff authored by Ralf Jung's avatar Ralf Jung
Browse files

add Iris 3.4 release date

parent 6ed51720
...@@ -80,7 +80,7 @@ s/\bbij_both_frac_valid\b/bij_both_dfrac_valid/g ...@@ -80,7 +80,7 @@ s/\bbij_both_frac_valid\b/bij_both_dfrac_valid/g
EOF EOF
``` ```
## Iris 3.4.0 ## Iris 3.4.0 (released 2021-02-16)
The highlights and most notable changes of this release are as follows: The highlights and most notable changes of this release are as follows:
* Coq 8.13 is now supported; the old Coq 8.9 and Coq 8.10 are not supported any * Coq 8.13 is now supported; the old Coq 8.9 and Coq 8.10 are not supported any
......
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