From 310a2a53ee9a209b46a47c3ca50d6f6f19c83f56 Mon Sep 17 00:00:00 2001
From: "Paolo G. Giarrusso" <p.giarrusso@gmail.com>
Date: Thu, 22 Nov 2018 21:55:04 +0100
Subject: [PATCH] Link to HTML sources for easier navigation

---
 README.md | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/README.md b/README.md
index 8660251cb..40ebf197f 100644
--- a/README.md
+++ b/README.md
@@ -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
 
-- 
GitLab