added attdx, methdx;
authorwenzelm
Mon Jul 19 16:53:49 1999 +0200 (1999-07-19)
changeset 704396d4aa129be1
parent 7042 94ef4859c6da
child 7044 193a8601fabd
added attdx, methdx;
doc-src/iman.sty
     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}}