Skip to content
GitLab
Explore
Sign in
Jonas Kastberg
iris
Repository
iris-coq
CHANGELOG.md
Find file
Blame
History
Permalink
Merge branch 'ralf/access' into 'master'
· 22d31260
Ralf Jung
authored
Feb 14, 2020
rename _open rules to _access if they are actually accessors See merge request
!373
22d31260
To find the state of this project's repository at the time of any of these versions, check out
the tags
.