From e7630ca05b72ea218e278eac2a55d14299e60f4b Mon Sep 17 00:00:00 2001
From: mohring
Date: Mon, 14 Jan 2002 12:16:49 +0000
Subject: *** empty log message ***

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8268 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 doc/RefMan-pre.tex | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/doc/RefMan-pre.tex b/doc/RefMan-pre.tex
index d682582347..379b72b38e 100755
--- a/doc/RefMan-pre.tex
+++ b/doc/RefMan-pre.tex
@@ -384,7 +384,7 @@ Intensive users suggested improvements of the system :
 Y. Bertot, L. Pottier, L. Théry , P. Zimmerman from INRIA 
 C. Alvarado, P. Crégut, J.-F. Monin from France Telecom R \& D.
 \begin{flushright}
-Orsay, Sep. 2001\\
+Orsay, Jan. 2002\\
 Hugo Herbelin \& Christine Paulin
 \end{flushright}
 \newpage
-- 
cgit v1.2.3