| changeset 3187 | 8f8c88dcd728 |
| parent 3109 | d95748813188 |
| child 3211 | 57a9b613036e |
--- a/doc-src/iman.sty Wed May 14 18:41:48 1997 +0200 +++ b/doc-src/iman.sty Wed May 14 18:42:09 1997 +0200 @@ -34,6 +34,8 @@ \newcommand\tydx[1]{{\tt#1}\index{#1@{\tt#1} type}} \newcommand\thydx[1]{{\tt#1}\index{#1@{\tt#1} theory}} +\newcommand\tooldx[1]{{\tt#1}\index{#1@{\tt#1} tool}} + %for cross-references: 2nd argument (page number) is ignored \newcommand\see[2]{{\it see \/}{#1}} \newcommand\seealso[2]{{\it see also \/}{#1}}