From c2f75971c7dc9a866af94a1008e8b28bc7c3825b Mon Sep 17 00:00:00 2001
From: Ralf Jung <jung@mpi-sws.org>
Date: Tue, 12 Dec 2017 11:04:31 +0100
Subject: [PATCH] better section title
---
docs/iris.tex | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/docs/iris.tex b/docs/iris.tex
index 0afa6f0e9..05471a3ab 100644
--- a/docs/iris.tex
+++ b/docs/iris.tex
@@ -37,7 +37,7 @@ For further information, visit the Iris project website at \url{http://plv.mpi-s
\endgroup
\clearpage\begingroup
-\section{Revision History}
+\section{Iris from the Ground Up}
In \citetitle{iris-ground-up}~\cite{iris-ground-up}, we describe Iris~3.1 in a bottom-up way.
That paper is hence much more suited as an introduction to the model of Iris than this reference, which mostly contains definitions, not explanations or examples.
The following differences between Iris as described in \citetitle{iris-ground-up} and the latest version documented here are worth mentioning:
--
GitLab