version 7.4

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8318 85f007b7-540e-0410-9357-904b9bb8a0f7

4 files changed, 6 insertions, 5 deletions

diff --git a/doc/RefMan-pre.tex b/doc/RefMan-pre.tex
index e9ec07d91c..51d494e864 100755
--- a/doc/RefMan-pre.tex
+++ b/doc/RefMan-pre.tex
@@ -317,7 +317,8 @@ The version V7 is a new implementation started in September 1999 by
 Jean-Christophe Filliātre. This is a major revision with respect to
 the internal architecture of the system.  The \Coq{} version 7.0 was
 distributed in March 2001, version 7.1 in September 2001, version
-7.2 in January 2002 and version 7.3 in May 2002.
+7.2 in January 2002, version 7.3 in May 2002 and version 7.4 in
+February 2003.
 
 Jean-Christophe Filliātre designed the architecture of the new system, he
 introduced a new representation for environments and wrote a new kernel
diff --git a/doc/Tutorial.tex b/doc/Tutorial.tex
index 0266f4e55e..7d408e57ae 100755
--- a/doc/Tutorial.tex
+++ b/doc/Tutorial.tex
@@ -32,7 +32,7 @@ he does not use any special interface such as Emacs or Centaur.
 Instructions on installation procedures, as well as more comprehensive
 documentation, may be found in the standard distribution of \Coq,
 which may be obtained by anonymous FTP from site \verb:ftp.inria.fr:,
-directory \verb:INRIA/coq/V7.3:. 
+directory \verb:INRIA/coq/V7.4:. 
 
 In the following, all examples preceded by the prompting sequence
 \verb:Coq < : represent user input, terminated by a period. The
@@ -46,7 +46,7 @@ The standard invocation of \Coq\ delivers a message such as:
 \begin{flushleft}
 \begin{verbatim}
 unix:~> coqtop
-Welcome to Coq 7.3 (May 2002)
+Welcome to Coq 7.4 (Feb 2003)
 
 Coq < 
 \end{verbatim}
diff --git a/doc/macros.tex b/doc/macros.tex
index 93ce5272fe..4c940d5226 100755
--- a/doc/macros.tex
+++ b/doc/macros.tex
@@ -2,7 +2,7 @@
 % MACROS FOR THE REFERENCE MANUAL OF COQ %
 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
 
-\newcommand{\coqversion}{7.3}
+\newcommand{\coqversion}{7.4}
 
 % For commentaries (define \com as {} for the release manual)
 %\newcommand{\com}[1]{{\it(* #1 *)}}
diff --git a/doc/title.tex b/doc/title.tex
index 3c6b1e484a..27651709a5 100755
--- a/doc/title.tex
+++ b/doc/title.tex
@@ -49,7 +49,7 @@ Action ``Types''}
 \vspace*{520pt}
 \thispagestyle{empty}
 \begin{flushleft}
-{\large{V7.3,
+{\large{V7.4,
 \printingdate}}\\[20pt]
 {\large{\copyright INRIA 1999-2002}}\\
 \end{flushleft}