From 2207128bc8a2bc427b57a341424059d51c6ce199 Mon Sep 17 00:00:00 2001
From: narboux
Date: Wed, 12 May 2004 13:41:06 +0000
Subject: typo jc

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

diff --git a/doc/newfaq/main.tex b/doc/newfaq/main.tex
index fc148f88f6..c91b6b25bd 100644
--- a/doc/newfaq/main.tex
+++ b/doc/newfaq/main.tex
@@ -271,7 +271,7 @@ was distributed in 1989.
 
 \Question{What are the academic applications for {\Coq}?}
 
-{\Coq} is used for formalizing mathematicians, for teaching,
+{\Coq} is used for formalizing mathematical theories, for teaching,
 and for proving properties of algorithms or programs libraries.
 
 The largest mathematical formalization has been done at the University
-- 
cgit v1.2.3