1 files changed, 3 insertions, 2 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''