From b2743768acb60b3f95eb99220a6be999a1b2aa84 Mon Sep 17 00:00:00 2001
From: Ralf Jung <jung@mpi-sws.org>
Date: Sat, 20 Aug 2022 08:00:16 -0400
Subject: [PATCH] finalize Iris 4.0 Reference
---
tex/iris.tex | 4 ++--
tex/upload | 2 +-
2 files changed, 3 insertions(+), 3 deletions(-)
diff --git a/tex/iris.tex b/tex/iris.tex
index 0631f53da..0a30cdda5 100644
--- a/tex/iris.tex
+++ b/tex/iris.tex
@@ -14,7 +14,7 @@
\input{setup}
-\title{\bfseries The Iris 3.7-dev Documentation}
+\title{\bfseries The Iris 4.0 Reference}
\author{\url{http://plv.mpi-sws.org/iris/}}
@@ -24,7 +24,7 @@
\thispagestyle{empty}
\vfill
\begin{abstract}
-This document describes formally the Iris program logic.
+This document formally describes 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/iris/iris}.
For further information, visit the Iris project website at \url{https://iris-project.org}.
diff --git a/tex/upload b/tex/upload
index 5874571c3..106922217 100755
--- a/tex/upload
+++ b/tex/upload
@@ -3,5 +3,5 @@ set -e
cd "$(dirname "$(readlink -e "$0")")"
rub iris
-scp iris.pdf mpi-contact:plv.mpi-sws.org/iris/appendix-3.7.pdf
+scp iris.pdf mpi-contact:plv.mpi-sws.org/iris/appendix-4.0.pdf
--
GitLab