From c3641788317e3dd4184ccbb9f94ccbe2bc01b568 Mon Sep 17 00:00:00 2001
From: mohring
Date: Fri, 6 Apr 2001 07:19:11 +0000
Subject: Mise a jour V7

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8165 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 doc/title.tex | 9 ++++++---
 1 file changed, 6 insertions(+), 3 deletions(-)

diff --git a/doc/title.tex b/doc/title.tex
index 14ca2204d1..f9051a1b36 100755
--- a/doc/title.tex
+++ b/doc/title.tex
@@ -34,11 +34,14 @@ The Coq Proof Assistant\\
 \isdraft
 {\Large \bf Version \coqversion}
 \footnote[1]{This research was partly supported by ESPRIT Basic Research
-Action ``Types'' and by the GDR ``Programmation'' co-financed by MRE-PRC and CNRS.}\\
+Action ``Types''}
+% Obsolete CP {and by the GDR ``Programmation'' co-financed by MRE-PRC
+% and CNRS.}
+\\
 \vspace{120pt}
 {\bf #2}\\
 \vfill
-{\Large \bf Coq Project}\\
+{\Large \bf Coq Development Project}\\
 \vspace{15pt}
 \end{center}
 
@@ -48,7 +51,7 @@ Action ``Types'' and by the GDR ``Programmation'' co-financed by MRE-PRC and CNR
 \begin{flushleft}
 {\large{V7.0,
 \printingdate}}\\[20pt]
-{\large{\copyright INRIA 1999}}\\
+{\large{\copyright INRIA 1999-2001}}\\
 \end{flushleft}
 \newpage}
 
-- 
cgit v1.2.3