From d79c79e9688472952dd8208fce3003cc4f897fa6 Mon Sep 17 00:00:00 2001
From: notin
Date: Fri, 13 Jun 2008 14:19:27 +0000
Subject: Numéros de version dans la doc

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@11123 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 doc/common/title.tex | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'doc/common')

diff --git a/doc/common/title.tex b/doc/common/title.tex
index cc70975320..c6920f2005 100755
--- a/doc/common/title.tex
+++ b/doc/common/title.tex
@@ -30,7 +30,7 @@ Version \coqversion\footnote[1]{This research was partly supported by IST workin
 \vspace{0pt plus .5fill}
 #2
 \par\vfill
-LogiCal Project
+TypiCal Project (formerly LogiCal)
 
 \vspace*{15pt}
 \end{center}
@@ -45,7 +45,7 @@ V\coqversion, \today
 %END LATEX
 \copyright INRIA 1999-2004 ({\Coq} versions 7.x)
 
-\copyright INRIA 2004-2007 ({\Coq} versions 8.x)
+\copyright INRIA 2004-2008 ({\Coq} versions 8.x)
 
 #3
 \end{flushleft}
-- 
cgit v1.2.3