*** empty log message ***

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

1 files changed, 8 insertions, 5 deletions

diff --git a/doc/macros.tex b/doc/macros.tex
index 4ca4869d0..e2b4c20ff 100755
--- a/doc/macros.tex
+++ b/doc/macros.tex
@@ -94,17 +94,22 @@
 %% New syntax specific entries
 \newcommand{\annotation}{\nterm{annotation}}
 \newcommand{\binder}{\nterm{binder}}
+\newcommand{\binderlet}{\nterm{binderlet}}
 \newcommand{\binderlist}{\nterm{binderlist}}
-\newcommand{\caseitems}{\nterm{caseitems}}
-\newcommand{\caseitem}{\nterm{case\_item}}
-\newcommand{\casetype}{\nterm{casetype}}
+\newcommand{\caseitems}{\nterm{match\_items}}
+\newcommand{\caseitem}{\nterm{match\_item}}
 \newcommand{\eqn}{\nterm{equation}}
+\newcommand{\ifitem}{\nterm{if\_item}}
 \newcommand{\letclauses}{\nterm{letclauses}}
+\newcommand{\params}{\nterm{params}} % vernac
 \newcommand{\returntype}{\nterm{return\_type}}
+\newcommand{\idparams}{\nterm{ident\_with\_params}}
+\newcommand{\statkwd}{\nterm{statement\_keyword}} % vernac
 \newcommand{\termarg}{\nterm{arg}}
 
 \newcommand{\typecstr}{\zeroone{{\tt :} {\term}}}
 
+
 \newcommand{\Fwterm}{\textrm{\textsl{Fwterm}}}
 \newcommand{\Index}{\textrm{\textsl{index}}}
 \newcommand{\abbrev}{\textrm{\textsl{abbreviation}}}
@@ -146,8 +151,6 @@
 \newcommand{\nestedpattern}{\textrm{\textsl{nested\_pattern}}}
 \newcommand{\name}{\textrm{\textsl{name}}}
 \newcommand{\num}{\textrm{\textsl{num}}}
-\newcommand{\params}{\textrm{\textsl{params}}}
-\newcommand{\binderlet}{\textrm{\textsl{binder\_let}}}
 \newcommand{\pattern}{\textrm{\textsl{pattern}}}
 \newcommand{\intropattern}{\textrm{\textsl{intro\_pattern}}}
 \newcommand{\pat}{\textrm{\textsl{pat}}}