*** empty log message ***

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

1 files changed, 7 insertions, 6 deletions

diff --git a/doc/macros.tex b/doc/macros.tex
index d85a9601e3..50ced80e85 100755
--- a/doc/macros.tex
+++ b/doc/macros.tex
@@ -89,14 +89,19 @@
 
 \newcommand{\nterm}[1]{\textrm{\textsl{#1}}}
 
+\newcommand{\qstring}{\nterm{string}}
+
 %% New syntax specific entries
-\newcommand{\termarg}{\nterm{arg}}
+\newcommand{\annotation}{\nterm{annotation}}
+\newcommand{\binder}{\nterm{binder}}
+\newcommand{\binderlist}{\nterm{binderlist}}
 \newcommand{\caseitems}{\nterm{caseitems}}
 \newcommand{\caseitem}{\nterm{case\_item}}
 \newcommand{\casetype}{\nterm{casetype}}
+\newcommand{\eqn}{\nterm{equation}}
 \newcommand{\letclauses}{\nterm{letclauses}}
-\newcommand{\annotation}{\nterm{annotation}}
 \newcommand{\returntype}{\nterm{return\_type}}
+\newcommand{\termarg}{\nterm{arg}}
 
 \newcommand{\typecstr}{\zeroone{{\tt :} {\term}}}
 
@@ -104,9 +109,6 @@
 \newcommand{\Index}{\textrm{\textsl{index}}}
 \newcommand{\abbrev}{\textrm{\textsl{abbreviation}}}
 \newcommand{\atomictac}{\textrm{\textsl{atomic\_tactic}}}
-\newcommand{\binders}{\textrm{\textsl{bindings}}}
-\newcommand{\binder}{\textrm{\textsl{binding}}}
-\newcommand{\binderlist}{\nterm{binderlist}}
 \newcommand{\bindinglist}{\textrm{\textsl{bindings\_list}}}
 \newcommand{\cast}{\textrm{\textsl{cast}}}
 \newcommand{\cofixpointbodies}{\textrm{\textsl{cofix\_bodies}}}
@@ -118,7 +120,6 @@
 \newcommand{\declaration}{\textrm{\textsl{declaration}}}
 \newcommand{\definition}{\textrm{\textsl{definition}}}
 \newcommand{\digit}{\textrm{\textsl{digit}}}
-\newcommand{\eqn}{\textrm{\textsl{equation}}}
 \newcommand{\exteqn}{\textrm{\textsl{ext\_eqn}}}
 \newcommand{\field}{\textrm{\textsl{field}}}
 \newcommand{\firstletter}{\textrm{\textsl{first\_letter}}}