MAJ V7.1

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8231 85f007b7-540e-0410-9357-904b9bb8a0f7

1 files changed, 1 insertions, 1 deletions

diff --git a/doc/title.tex b/doc/title.tex
index 28165c0df..02e02b124 100755
--- a/doc/title.tex
+++ b/doc/title.tex
@@ -41,7 +41,7 @@ Action ``Types''}
 \vspace{120pt}
 {\bf #2}\\
 \vfill
-{\Large \bf Coq Development Project}\\
+{\Large \bf LogiCal Project}\\
 \vspace{15pt}
 \end{center}