diff --git a/docs/iris.tex b/docs/iris.tex index 0840b2ae9bea086882d5d3e62e1a8ceff63fb3a9..863077ee3c8507d5281ce84c4bfb17837502027b 100644 --- a/docs/iris.tex +++ b/docs/iris.tex @@ -16,7 +16,7 @@ \input{setup} -\title{\bfseries The Iris 2.0 Documentation} +\title{\bfseries The Iris 3.0 Documentation} \author{\url{http://plv.mpi-sws.org/iris/}}