diff options
| author | herbelin | 2001-09-25 12:00:11 +0000 |
|---|---|---|
| committer | herbelin | 2001-09-25 12:00:11 +0000 |
| commit | c39bf2efb9eba7b0b78b777c5afdf0be0e6a821e (patch) | |
| tree | 612cc8d0f1a55cf6e95c6641b28a59b636bf2ca0 /doc/title.tex | |
| parent | c827822486f096111a460f7616540a00745f6dd8 (diff) | |
MAJ V7.1
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8230 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'doc/title.tex')
| -rwxr-xr-x | doc/title.tex | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/title.tex b/doc/title.tex index f9051a1b36..28165c0df0 100755 --- a/doc/title.tex +++ b/doc/title.tex @@ -49,7 +49,7 @@ Action ``Types''} \vspace*{520pt} \thispagestyle{empty} \begin{flushleft} -{\large{V7.0, +{\large{V7.1, \printingdate}}\\[20pt] {\large{\copyright INRIA 1999-2001}}\\ \end{flushleft} |