File tree 1 file changed +2
-2
lines changed
Filter options
1 file changed +2
-2
lines changed
Original file line number Diff line number Diff line change 228
228
\newcommand {\grammarterm }[1]{#1}
229
229
\newcommand {\grammartermnc }[1]{\indexgram {\idxgram {#1}}\gterm {#1\nocorr }}
230
230
\newcommand {\regrammarterm }[1]{\textit {#1 }}
231
- \newcommand {\placeholder }[1]{\textit { #1 } } % macro length: 12
231
+ \newcommand {\placeholder }[1]{#1 } % macro length: 12
232
232
\newcommand {\placeholdernc }[1]{\textit {#1\nocorr }} % macro length: 14
233
233
\newcommand {\exposid }[1]{\tcode {\placeholder {#1}}} % macro length: 8
234
234
\newcommand {\exposidnc }[1]{\tcode {\placeholdernc {#1}}\itcorr [-1]} % macro length: 10
612
612
\newcommand {\nontermdef }[1]{{\BnfNontermshape ##1\itcorr }\indexgrammar {\idxgram {##1}}\textnormal {:}}
613
613
\newcommand {\terminal }[1]{{\BnfTermshape ##1}}
614
614
\renewcommand {\keyword }[1]{\terminal {##1}\indextext {\idxcode {##1}}}
615
- \renewcommand {\exposid }[1]{\terminal {\textit { ##1 } }}
615
+ \renewcommand {\exposid }[1]{\terminal {##1}}
616
616
\renewcommand {\placeholder }[1]{\textrm {\textit {##1 }}}
617
617
\newcommand {\descr }[1]{\textnormal {##1}}
618
618
\newcommand {\bnfindent }{\hspace *{\bnfindentfirst }}
You can’t perform that action at this time.
0 commit comments