Ajout \qualid et \module

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

1 files changed, 2 insertions, 0 deletions

diff --git a/doc/macros.tex b/doc/macros.tex
index 108d716357..53c44176fb 100755
--- a/doc/macros.tex
+++ b/doc/macros.tex
@@ -139,6 +139,8 @@
 \newcommand{\tac}{\textrm{\textsl{tactic}}}
 \newcommand{\terms}{\textrm{\textsl{terms}}}
 \newcommand{\term}{\textrm{\textsl{term}}}
+\newcommand{\module}{\textrm{\textsl{module}}}
+\newcommand{\qualid}{\textrm{\textsl{qualid}}}
 \newcommand{\typedidents}{\textrm{\textsl{typed\_idents}}}
 \newcommand{\type}{\textrm{\textsl{type}}}
 \newcommand{\vref}{\textrm{\textsl{ref}}}