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

CHANGELOG: typo

parent 557a1fd2
No related branches found
No related tags found
No related merge requests found
Hide whitespace changes
Inline Side-by-side
Showing
with 2 additions and 2 deletions
CHANGELOG.md
+ 2
− 2
View file @ ad308b56
...@@ -14,8 +14,8 @@ Changes in and extensions of the theory: ...@@ -14,8 +14,8 @@ Changes in and extensions of the theory:
Changes in Coq: Changes in Coq:
* Rename `timelessP` -> `timeless` (projection of the `Timeless` class) * Rename `timelessP` -> `timeless` (projection of the `Timeless` class)
* The CMRA axiom `cmra_extend` is now stated in `Type`, using `sigT` instead * The CMRA axiom `cmra_extend` is now stated in `Type`, using `sigT` instead of
of in `Prop` using `exists`. This makes it possible to define the functionnal in `Prop` using `exists`. This makes it possible to define the function space
CMRA even for an infinite domain. CMRA even for an infinite domain.
## Iris 3.1.0 (released 2017-12-19) ## Iris 3.1.0 (released 2017-12-19)
......
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