Commit 310a2a53 authored by Paolo G. Giarrusso's avatar Paolo G. Giarrusso

Link to HTML sources for easier navigation

parent fb2b152a
......@@ -7,6 +7,8 @@ for carrying out separation logic proofs in Coq.
A LaTeX version of the core logic definitions and some derived forms is
available in [docs/iris.tex](docs/iris.tex). A compiled PDF version of this
document is [available online](http://plv.mpi-sws.org/iris/appendix-3.1.pdf).
An HTML version of the latest sources (with hyperlinks for easier navigation) is
available at https://plv.mpi-sws.org/coqdoc/iris/.
## Building Iris
......
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