From c0241d44c104f11ae7f9c7c852b0b5852e65605d Mon Sep 17 00:00:00 2001
From: herbelin
Date: Thu, 5 May 2005 21:00:35 +0000
Subject: Copyright 2005

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8600 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 doc/cover.html | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/doc/cover.html b/doc/cover.html
index 263173012e..cdf4e58302 100644
--- a/doc/cover.html
+++ b/doc/cover.html
@@ -21,7 +21,7 @@ The Coq Proof Assistant<BR>
 
 <DIV ALIGN=left>
 <FONT SIZE=4>V7.x ŠINRIA 1999-2004</FONT><BR>
-<FONT SIZE=4>V8.0 ŠINRIA 2004</FONT><BR>
+<FONT SIZE=4>V8.0 ŠINRIA 2004-2005</FONT><BR>
 </DIV>
 <BR>
 
-- 
cgit v1.2.3