author | wenzelm |
Wed, 14 May 1997 18:42:09 +0200 | |
changeset 3187 | 8f8c88dcd728 |
parent 3186 | 57be77ca36ff |
child 3188 | 445555a7b714 |
doc-src/iman.sty | file | annotate | diff | comparison | revisions |
1.1 --- a/doc-src/iman.sty Wed May 14 18:41:48 1997 +0200 1.2 +++ b/doc-src/iman.sty Wed May 14 18:42:09 1997 +0200 1.3 @@ -34,6 +34,8 @@ 1.4 \newcommand\tydx[1]{{\tt#1}\index{#1@{\tt#1} type}} 1.5 \newcommand\thydx[1]{{\tt#1}\index{#1@{\tt#1} theory}} 1.6 1.7 +\newcommand\tooldx[1]{{\tt#1}\index{#1@{\tt#1} tool}} 1.8 + 1.9 %for cross-references: 2nd argument (page number) is ignored 1.10 \newcommand\see[2]{{\it see \/}{#1}} 1.11 \newcommand\seealso[2]{{\it see also \/}{#1}}