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 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

(limited to 'doc/cover.html')

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''
-- 
cgit v1.2.3