Commit a490cd5b authored by Ralf Jung's avatar Ralf Jung

clarify CHANGELOG

parent 08828c60
Pipeline #3317 passed with stage
in 11 minutes and 9 seconds
......@@ -47,7 +47,7 @@ Coq development, but not every API-breaking change is listed. Changes marked
## Iris 2.0-rc2
This version matches the final ICFP paper.
This version matches the final ICFP 2016 paper.
* [algebra] Make the core of an RA or CMRA a partial function.
* [program_logic/lifting] Lifting lemmas no longer round-trip through a
......@@ -57,4 +57,4 @@ This version matches the final ICFP paper.
## Iris 2.0-rc1
This is the Coq development and Iris Documentation as submitted to ICFP.
This is the Coq development and Iris Documentation as submitted to ICFP 2016.
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