diff options
Diffstat (limited to 'doc/tutorial')
| -rwxr-xr-x | doc/tutorial/Tutorial.tex | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/tutorial/Tutorial.tex b/doc/tutorial/Tutorial.tex index cbe130a60d..b1fb5d6253 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 trunk (Jun. 2008) +Welcome to Coq 8.2 (Sep. 2008) Coq < \end{verbatim} |