From 342ab1e68c5941d1d746c8fafc557934cece2ed0 Mon Sep 17 00:00:00 2001
From: coq
Date: Wed, 25 Apr 2001 11:01:29 +0000
Subject: Pending ref's corrected

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8207 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 doc/Tutorial.tex | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

(limited to 'doc/Tutorial.tex')

diff --git a/doc/Tutorial.tex b/doc/Tutorial.tex
index a525c5a213..dd5b0ff5f7 100755
--- a/doc/Tutorial.tex
+++ b/doc/Tutorial.tex
@@ -45,10 +45,10 @@ The standard invocation of \Coq\ delivers a message such as:
 \begin{small}
 \begin{flushleft}
 \begin{verbatim}
-unix: coqtop
-Welcome to Coq 7.0beta3-ocaml3.01 (March 2001)
+unix:~> coqtop
+Welcome to Coq 7.0 (April 2001)
 
-Coq <
+Coq < 
 \end{verbatim}
 \end{flushleft}
 \end{small}
-- 
cgit v1.2.3