1 files changed, 1 insertions, 1 deletions
diff --git a/doc/Tutorial.tex b/doc/Tutorial.tex
index fc22b89bf2..7de9ad9168 100755
--- a/doc/Tutorial.tex
+++ b/doc/Tutorial.tex
@@ -46,7 +46,7 @@ The standard invocation of \Coq\ delivers a message such as:
 \begin{flushleft}
 \begin{verbatim}
 unix:~> coqtop
-Welcome to Coq 7.2 (December 2001)
+Welcome to Coq 7.2 (January 2002)
 
 Coq < 
 \end{verbatim}