From de7eab036fbadee21cb2e01989f1959a2fcff8a4 Mon Sep 17 00:00:00 2001
From: Ralf Jung <jung@mpi-sws.org>
Date: Fri, 1 Feb 2019 14:31:32 +0100
Subject: [PATCH] update URL in LaTeX docs
---
docs/iris.tex | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/docs/iris.tex b/docs/iris.tex
index 05471a3ab..69e331bc5 100644
--- a/docs/iris.tex
+++ b/docs/iris.tex
@@ -28,7 +28,7 @@
\begin{abstract}
This document describes formally the Iris program logic.
Every result in this document has been fully verified in Coq.
-The latest versions of this document and the Coq formalization can be found in the git repository at \url{https://gitlab.mpi-sws.org/FP/iris-coq/}.
+The latest versions of this document and the Coq formalization can be found in the git repository at \url{https://gitlab.mpi-sws.org/iris/iris}.
For further information, visit the Iris project website at \url{http://plv.mpi-sws.org/iris/}.
\end{abstract}
--
GitLab