From 1584c157a8e33c3e21b033642e072ef5963f19c3 Mon Sep 17 00:00:00 2001
From: herbelin
Date: Sat, 17 Apr 2004 09:37:47 +0000
Subject: Copyright

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8549 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 doc/cover.html | 5 +++--
 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
-- 
cgit v1.2.3