diff options
| -rwxr-xr-x | configure | 2 | ||||
| -rwxr-xr-x | doc/common/title.tex | 2 | ||||
| -rw-r--r-- | doc/refman/cover.html | 2 | ||||
| -rwxr-xr-x | doc/tutorial/Tutorial.tex | 2 |
4 files changed, 4 insertions, 4 deletions
@@ -9,7 +9,7 @@ VERSION=trunk VOMAGIC=08193 STATEMAGIC=19764 -DATE=`date +"%B %Y"` +DATE=`LANG=C date +"%B %Y"` # Create the bin/ directory if non-existent test -d bin || mkdir bin 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} |