From a3a645fc6c4584b7540e0620018eb1ad2669b38e Mon Sep 17 00:00:00 2001
From: herbelin
Date: Sat, 16 Dec 2000 16:48:33 +0000
Subject: Ajout \qualid et \module

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

(limited to 'doc')

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}}}
-- 
cgit v1.2.3