changeset 3491 | 59ffc1c83403 |
parent 3211 | 57a9b613036e |
child 4244 | f50dace8be9f |
--- a/doc-src/iman.sty Thu Jul 03 17:20:07 1997 +0200 +++ b/doc-src/iman.sty Thu Jul 03 17:21:14 1997 +0200 @@ -31,7 +31,7 @@ \newcommand\ndxbold[1]{{\tt#1}\index{#1@{\tt#1} nonterminal|bold}} \newcommand\cldx[1]{{\tt#1}\index{#1@{\tt#1} class}} -\newcommand\tydx[1]{{\tt#1}\index{#1@{\tt#1} type}} +\newcommand\tydx[1]{\textit{#1}\index{#1@{\textit{#1}} type}} \newcommand\thydx[1]{{\tt#1}\index{#1@{\tt#1} theory}} \newcommand\tooldx[1]{{\tt#1}\index{#1@{\tt#1} tool}}