From ea220e2f442c392a2f9a9178476b186a83e44510 Mon Sep 17 00:00:00 2001
From: kirchner
Date: Mon, 29 Mar 2004 11:23:41 +0000
Subject: *** empty log message ***

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

diff --git a/doc/newfaq/main.tex b/doc/newfaq/main.tex
index 3bb6ecf061..3102302b96 100644
--- a/doc/newfaq/main.tex
+++ b/doc/newfaq/main.tex
@@ -676,6 +676,8 @@ Ltac introIdGen := let id:=fresh in intro id.
 
 \Question[statdyn]{How can I define static and dynamic code ?}
 
+
+
 %%%%%%%
 \subsection{Glossary}
 
@@ -732,7 +734,6 @@ and the last chapter of the Coq'Art.
 
 \Question[coqidedescr]{What is \CoqIde ?}
 
-
 \section{Extraction}
 
 \Question[extraction]{What is program extraction ?}
-- 
cgit v1.2.3