From b16e11f9540809626ae6d1ec6afcf63f4fe50d14 Mon Sep 17 00:00:00 2001
From: kirchner
Date: Mon, 4 Oct 2004 13:40:55 +0000
Subject: minor ~ correction in coq'art url

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8586 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 doc/newfaq/main.tex      |   2 +-
 doc/newfaq/main.v001.gif | Bin 5314 -> 0 bytes
 2 files changed, 1 insertion(+), 1 deletion(-)

(limited to 'doc')

diff --git a/doc/newfaq/main.tex b/doc/newfaq/main.tex
index c1121d5884..f5a85c104d 100644
--- a/doc/newfaq/main.tex
+++ b/doc/newfaq/main.tex
@@ -376,7 +376,7 @@ development of zero-default software.''
 \Question{Where can I find some {\Coq} examples?} 
 
 There are examples in the manual~\cite{Coq:manual} and in the
-Coq'Art~\cite{Coq:coqart} exercises \ahref{http://www.labri.fr/Perso/~casteran/CoqArt/index.html}{\url{http://www.labri.fr/Perso/~casteran/CoqArt/index.html}}.
+Coq'Art~\cite{Coq:coqart} exercises \ahref{\url{http://www.labri.fr/Perso/~casteran/CoqArt/index.html}}{\url{http://www.labri.fr/Perso/~casteran/CoqArt/index.html}}.
 You can also find large developments using
 {\Coq} in the {\Coq} user contributions:
 \ahref{http://coq.inria.fr/contrib-eng.html}{\url{http://coq.inria.fr/contrib-eng.html}}.
diff --git a/doc/newfaq/main.v001.gif b/doc/newfaq/main.v001.gif
index e3b012cef7..e69de29bb2 100644
Binary files a/doc/newfaq/main.v001.gif and b/doc/newfaq/main.v001.gif differ
-- 
cgit v1.2.3