diff options
| -rw-r--r-- | doc/cover.html | 5 | ||||
| -rwxr-xr-x | doc/title.tex | 3 |
2 files changed, 5 insertions, 3 deletions
diff --git a/doc/cover.html b/doc/cover.html index 459b1f6c15..263173012e 100644 --- a/doc/cover.html +++ b/doc/cover.html @@ -20,8 +20,9 @@ The Coq Proof Assistant<BR> <BR><BR><BR><BR><BR><BR> <DIV ALIGN=left> -<FONT SIZE=4>V8.0, -</FONT><BR><FONT SIZE=4>ŠINRIA 1999-2003</FONT><BR></DIV> +<FONT SIZE=4>V7.x ŠINRIA 1999-2004</FONT><BR> +<FONT SIZE=4>V8.0 ŠINRIA 2004</FONT><BR> +</DIV> <BR> <HR WIDTH="50%" SIZE=1><DL><DT><A NAME="note1" HREF="toc.html#text1"><FONT SIZE=5>1</FONT></A><DD>This research was partly supported by IST working group ``Types'' diff --git a/doc/title.tex b/doc/title.tex index d332af0577..9d68964a21 100755 --- a/doc/title.tex +++ b/doc/title.tex @@ -51,7 +51,8 @@ The Coq Proof Assistant\\ {\large{V\coqversion, \printingdate}}\\[20pt] %END LATEX -{\large{\copyright INRIA 1999-2004}}\\ +{\large{\copyright INRIA 1999-2004 ({\Coq} versions 7)}}\\ +{\large{\copyright INRIA 2004 ({\Coq} version 8)}}\\ \end{flushleft} %BEGIN LATEX \newpage |