From 401761de56366435b6cb0c468d39b99fc6625372 Mon Sep 17 00:00:00 2001
From: herbelin
Date: Mon, 14 Jan 2002 13:04:26 +0000
Subject: Typo

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

(limited to 'doc')

diff --git a/doc/RefMan-pre.tex b/doc/RefMan-pre.tex
index 379b72b38e..cba07eb7f5 100755
--- a/doc/RefMan-pre.tex
+++ b/doc/RefMan-pre.tex
@@ -315,7 +315,7 @@ Christine Paulin
 
 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
+the internal architecture of the system.  The \Coq{} version 7.0 was
 distributed in march 2001, version 7.1 in september 2001 and version
 7.2 in january 2002.
 
-- 
cgit v1.2.3