diff options
| author |  herbelin <herbelin@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2004-04-17 09:37:47 +0000 |
|---|---|---|
| committer | herbelin <herbelin@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2004-04-17 09:37:47 +0000 |
| commit | 1584c157a8e33c3e21b033642e072ef5963f19c3 (patch) | |
| tree | 5f6c4c68dc49e7201ab215594a351f8bec1a61ee | |
| parent | 88cfa53f8e893c92798fab97f8886b4bb3f84a3b (diff) | |
Copyright
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8549 85f007b7-540e-0410-9357-904b9bb8a0f7
| -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 459b1f6c1..263173012 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 d332af057..9d68964a2 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 |