| changeset 3211 | 57a9b613036e |
| parent 3187 | 8f8c88dcd728 |
| child 3491 | 59ffc1c83403 |
--- a/doc-src/iman.sty Fri May 16 15:29:41 1997 +0200 +++ b/doc-src/iman.sty Fri May 16 15:49:27 1997 +0200 @@ -35,6 +35,7 @@ \newcommand\thydx[1]{{\tt#1}\index{#1@{\tt#1} theory}} \newcommand\tooldx[1]{{\tt#1}\index{#1@{\tt#1} tool}} +\newcommand\settdx[1]{{\tt#1}\index{#1@{\tt#1} setting}} %for cross-references: 2nd argument (page number) is ignored \newcommand\see[2]{{\it see \/}{#1}}