doc-src/iman.sty
changeset 3187 8f8c88dcd728
parent 3109 d95748813188
child 3211 57a9b613036e
     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}}