From f25c1f790bb41466c12d2eb232fff9b82b3e1f26 Mon Sep 17 00:00:00 2001
From: herbelin
Date: Tue, 13 Jan 2009 21:50:05 +0000
Subject: Updated dates

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@11782 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 doc/common/title.tex      | 2 +-
 doc/refman/cover.html     | 2 +-
 doc/tutorial/Tutorial.tex | 2 +-
 3 files changed, 3 insertions(+), 3 deletions(-)

(limited to 'doc')

diff --git a/doc/common/title.tex b/doc/common/title.tex
index c6920f2005..abd106ea40 100755
--- a/doc/common/title.tex
+++ b/doc/common/title.tex
@@ -45,7 +45,7 @@ V\coqversion, \today
 %END LATEX
 \copyright INRIA 1999-2004 ({\Coq} versions 7.x)
 
-\copyright INRIA 2004-2008 ({\Coq} versions 8.x)
+\copyright INRIA 2004-2009 ({\Coq} versions 8.x)
 
 #3
 \end{flushleft}
diff --git a/doc/refman/cover.html b/doc/refman/cover.html
index d949e00e35..317b781de9 100644
--- a/doc/refman/cover.html
+++ b/doc/refman/cover.html
@@ -67,7 +67,7 @@
   <li>V7.x © INRIA 1999-2004</li>
   <li>V8.0 © INRIA 2004-2006</li>
   <li>V8.1 © INRIA 2006-2008</li>
-  <li>V8.2 © INRIA 2008</li>
+  <li>V8.2 © INRIA 2008-2009</li>
 </ul>
 
 <p style="text-indent: 0pt">This material may be distributed only subject to the terms and conditions set forth in the Open Publication License, v1.0 or later (the latest version is presently available at <a href="http://www.opencontent.org/openpub">http://www.opencontent.org/openpub</a>). Options A and B are not elected.</p>
diff --git a/doc/tutorial/Tutorial.tex b/doc/tutorial/Tutorial.tex
index b1fb5d6253..8944ec9793 100755
--- a/doc/tutorial/Tutorial.tex
+++ b/doc/tutorial/Tutorial.tex
@@ -59,7 +59,7 @@ invocation of \Coq\ delivers a message such as:
 \begin{flushleft}
 \begin{verbatim}
 unix:~> coqtop
-Welcome to Coq 8.2 (Sep. 2008)
+Welcome to Coq 8.2 (January 2009)
 
 Coq < 
 \end{verbatim}
-- 
cgit v1.2.3