From f551066ede9f3f7151777bfe2dc253b2f9d790c0 Mon Sep 17 00:00:00 2001
From: herbelin
Date: Tue, 11 Jul 2006 13:53:53 +0000
Subject: Documentation de lazymatch et des extensions de idtac et fail

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

(limited to 'doc/common')

diff --git a/doc/common/macros.tex b/doc/common/macros.tex
index 3fe782d905..418fe1436e 100755
--- a/doc/common/macros.tex
+++ b/doc/common/macros.tex
@@ -202,6 +202,7 @@
 \newcommand{\str}{\textrm{\textsl{string}}}
 \newcommand{\subsequentletter}{\textrm{\textsl{subsequent\_letter}}}
 \newcommand{\switch}{\textrm{\textsl{switch}}}
+\newcommand{\messagetoken}{\textrm{\textsl{message\_token}}}
 \newcommand{\tac}{\textrm{\textsl{tactic}}}
 \newcommand{\terms}{\textrm{\textsl{terms}}}
 \newcommand{\term}{\textrm{\textsl{term}}}
-- 
cgit v1.2.3