From 40a716f91bc6c6ee05bcca0fefa38857991317c8 Mon Sep 17 00:00:00 2001
From: notin <notin@85f007b7-540e-0410-9357-904b9bb8a0f7>
Date: Sun, 18 Feb 2007 12:04:37 +0000
Subject: Compilation de la FAQ

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@9657 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 doc/faq/FAQ.tex | 18 +++++++++---------
 1 file changed, 9 insertions(+), 9 deletions(-)

(limited to 'doc/faq/FAQ.tex')

diff --git a/doc/faq/FAQ.tex b/doc/faq/FAQ.tex
index b035fc23c..b02bc7124 100644
--- a/doc/faq/FAQ.tex
+++ b/doc/faq/FAQ.tex
@@ -105,21 +105,21 @@
 
 
 \newcommand\vfile[2]{\ahref{#1}{\tt {#2}.v}}
-\urldef{\InitWf}{\url}
+\urldef{\InitWf}\url
   {http://coq.inria.fr/library/Coq.Init.Wf.html}
-\urldef{\LogicBerardi}{\url}
+\urldef{\LogicBerardi}\url
   {http://coq.inria.fr/library/Coq.Logic.Berardi.html}
-\urldef{\LogicClassical}{\url}
+\urldef{\LogicClassical}\url
   {http://coq.inria.fr/library/Coq.Logic.Classical.html}
-\urldef{\LogicClassicalFacts}{\url}
+\urldef{\LogicClassicalFacts}\url
   {http://coq.inria.fr/library/Coq.Logic.ClassicalFacts.html}
-\urldef{\LogicClassicalDescription}{\url}
+\urldef{\LogicClassicalDescription}\url
   {http://coq.inria.fr/library/Coq.Logic.ClassicalDescription.html}
-\urldef{\LogicProofIrrelevance}{\url}
+\urldef{\LogicProofIrrelevance}\url
   {http://coq.inria.fr/library/Coq.Logic.ProofIrrelevance.html}
-\urldef{\LogicEqdep}{\url}
+\urldef{\LogicEqdep}\url
   {http://coq.inria.fr/library/Coq.Logic.Eqdep.html}
-\urldef{\LogicEqdepDec}{\url}
+\urldef{\LogicEqdepDec}\url
   {http://coq.inria.fr/library/Coq.Logic.Eqdep_dec.html}
 
 
@@ -132,7 +132,7 @@
 
 %%%%%%% Coq pour les nuls %%%%%%%
 
-\title{Coq Version 8.0 for the Clueless\\
+\title{Coq Version 8.1 for the Clueless\\
   \large(\protect\ref{lastquestion}
   \ Hints)
 }
-- 
cgit v1.2.3

