*** empty log message ***

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8492 85f007b7-540e-0410-9357-904b9bb8a0f7

1 files changed, 71 insertions, 0 deletions

diff --git a/doc/newfaq/main.tex b/doc/newfaq/main.tex
index a49d1dcd2c..397b06bfc2 100644
--- a/doc/newfaq/main.tex
+++ b/doc/newfaq/main.tex
@@ -64,6 +64,77 @@ us...
 								     %
 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
 
+\section{Presentation}
+
+\Question[whatiscoq]{What is Coq?} 
+
+\Question[theoremprovers]{What are the other theorem provers?} 
+
+\Question[intuitionnisticlogic]{What is intuitionnistic logic ?}
+
+
+\section{Documentation}
+
+\Question[coqdocumentation]{Where can I find documentation about Coq ?} 
+
+\Question[coqfaq]{Where can I find this faq on the web ?} 
+
+\Question[coqmailinglist]{Is there any mailing list about Coq ?} 
+
+\Question[coqbook]{Is there any book about Coq ?}
+
+
+\section{Installation}
+
+\Question[coqlicence]{What is the licence of Coq ?}
+
+\Question[coqsources]{Where can I find the sources of Coq ?}
+
+\Question[platform]{On which platform Coq is available ?}
+
+\Question[nbusers]{How many Coq users are there ?}
+
+\Question[howold]{How old is Coq ?}
+
+
+\Question[coqexamples]{Where can I find some Coq examples?} 
+
+\Question[relatedtools]{What are the Coq related tools?}
+
+\Question[goal]{What is a goal?}
+
+\Question[ltac]{What is Ltac?}
+
+\Question[metavariable]{What is a meta variable?}
+
+\Question[conjonction]{My goal is a conjonction, how can I prove it ?}
+
+\Question[disjonction]{My goal is a disjonction, how can I prove it ?}
+
+\Question[forall]{My goal is an universally quantified statement, how can I prove it ?}
+
+\Question[exist]{My goal is an existential, how can I prove it ?}
+
+\Question[type]{What is Type(i) ?}
+
+\Question[dependanttype]{What is a dependent type ?}
+
+\Question[subgoalsorder]{How can I change the order of the subgoals ?}
+
+\Question[hyphotesisorder]]{How can I change the order of the hyphothesis ?}
+
+\Question[ifsyntax]{What is the syntax for if ?}
+
+\Question[letsyntax]{What is the syntax for let ?}
+
+\Question[patternmatchingsyntax]{What is the syntax for pattern matching ?}
+
+
+\Question[reflexivity]{What is reflexivity ?}
+
+
+
+
 \section{Conclusion and Farewell.}
 \label{ccl}