diff options
| -rw-r--r-- | doc/newfaq/main.tex | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/doc/newfaq/main.tex b/doc/newfaq/main.tex index 3bb6ecf06..3102302b9 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 ?} |