Skip to content
GitLab
Explore
Sign in
Tej Chajed
iris
Repository
iris-coq
docs
iris.sty
Find file
Blame
History
Permalink
Docs: update iris.sty.
· 49bb4194
Robbert Krebbers
authored
Dec 10, 2017
Merge it with the JFP paper, we probably need to backport it there.
49bb4194