equal
deleted
inserted
replaced
29 |
29 |
30 \newcommand\ndx[1]{{\tt#1}\index{#1@{\tt#1} nonterminal}} |
30 \newcommand\ndx[1]{{\tt#1}\index{#1@{\tt#1} nonterminal}} |
31 \newcommand\ndxbold[1]{{\tt#1}\index{#1@{\tt#1} nonterminal|bold}} |
31 \newcommand\ndxbold[1]{{\tt#1}\index{#1@{\tt#1} nonterminal|bold}} |
32 |
32 |
33 \newcommand\cldx[1]{{\tt#1}\index{#1@{\tt#1} class}} |
33 \newcommand\cldx[1]{{\tt#1}\index{#1@{\tt#1} class}} |
34 \newcommand\tydx[1]{{\tt#1}\index{#1@{\tt#1} type}} |
34 \newcommand\tydx[1]{\textit{#1}\index{#1@{\textit{#1}} type}} |
35 \newcommand\thydx[1]{{\tt#1}\index{#1@{\tt#1} theory}} |
35 \newcommand\thydx[1]{{\tt#1}\index{#1@{\tt#1} theory}} |
36 |
36 |
37 \newcommand\tooldx[1]{{\tt#1}\index{#1@{\tt#1} tool}} |
37 \newcommand\tooldx[1]{{\tt#1}\index{#1@{\tt#1} tool}} |
38 \newcommand\settdx[1]{{\tt#1}\index{#1@{\tt#1} setting}} |
38 \newcommand\settdx[1]{{\tt#1}\index{#1@{\tt#1} setting}} |
39 |
39 |