1.1 --- a/doc-src/iman.sty Mon Jul 19 16:53:31 1999 +0200
1.2 +++ b/doc-src/iman.sty Mon Jul 19 16:53:49 1999 +0200
1.3 @@ -36,6 +36,8 @@
1.4
1.5 \newcommand\tooldx[1]{{\tt#1}\index{#1@{\tt#1} tool}}
1.6 \newcommand\settdx[1]{{\tt#1}\index{#1@{\tt#1} setting}}
1.7 +\newcommand\attdx[1]{{\tt#1}\index{#1@{\tt#1} attribute}}
1.8 +\newcommand\methdx[1]{{\tt#1}\index{#1@{\tt#1} proof method}}
1.9
1.10 %for cross-references: 2nd argument (page number) is ignored
1.11 \newcommand\see[2]{{\it see \/}{#1}}