diff options
| -rwxr-xr-x | doc/title.tex | 9 |
1 files 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} |