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

update link to appendix

parent a162c20d
No related branches found
No related tags found
No related merge requests found
Hide whitespace changes
Inline Side-by-side
Showing
with 1 addition and 1 deletion
README.md
+ 1
− 1
View file @ 65e787b4
...@@ -10,7 +10,7 @@ For using the Coq library, check out the ...@@ -10,7 +10,7 @@ For using the Coq library, check out the
For understanding the theory of Iris, a LaTeX version of the core logic For understanding the theory of Iris, a LaTeX version of the core logic
definitions and some derived forms is available in definitions and some derived forms is available in
[tex/iris.tex](tex/iris.tex). A compiled PDF version of this document is [tex/iris.tex](tex/iris.tex). A compiled PDF version of this document is
[available online](http://plv.mpi-sws.org/iris/appendix-3.2.pdf). [available online](http://plv.mpi-sws.org/iris/appendix-3.4.pdf).
## Side-effects ## Side-effects
......
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