Mise a jour V7

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

1 files changed, 6 insertions, 3 deletions

diff --git a/doc/title.tex b/doc/title.tex
index 14ca2204d..f9051a1b3 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}