From ad91264affa3a471f1656f2533d9ca75628f37e0 Mon Sep 17 00:00:00 2001
From: coq
Date: Thu, 11 Dec 2003 16:01:57 +0000
Subject: Une faute de frappe dans Credits

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8382 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 36a10f6649..1cbb18d4fb 100755
--- a/doc/RefMan-pre.tex
+++ b/doc/RefMan-pre.tex
@@ -463,7 +463,7 @@ with {\Coq} makes interactive developments more friendly. All
 mathematical Unicode symbols are usable within \CoqIde{}.
 
 Finally, the module system of {\Coq} completes the picture of {\Coq}
-version 8.0. Tough released with an experimental status in the previous
+version 8.0. Though released with an experimental status in the previous
 version 7.4, it should be considered as a salient feature of the new
 version.
 
-- 
cgit v1.2.3