# HG changeset patch
# User wenzelm
# Date 932396029 -7200
# Node ID 96d4aa129be1d3a566f062acb9b69eafbebabfd7
# Parent  94ef4859c6dabc1a9ccf817981b2f2071a09ba3f
added attdx, methdx;

diff -r 94ef4859c6da -r 96d4aa129be1 doc-src/iman.sty
--- a/doc-src/iman.sty	Mon Jul 19 16:53:31 1999 +0200
+++ b/doc-src/iman.sty	Mon Jul 19 16:53:49 1999 +0200
@@ -36,6 +36,8 @@
 
 \newcommand\tooldx[1]{{\tt#1}\index{#1@{\tt#1} tool}}
 \newcommand\settdx[1]{{\tt#1}\index{#1@{\tt#1} setting}}
+\newcommand\attdx[1]{{\tt#1}\index{#1@{\tt#1} attribute}}
+\newcommand\methdx[1]{{\tt#1}\index{#1@{\tt#1} proof method}}
 
 %for cross-references: 2nd argument (page number) is ignored
 \newcommand\see[2]{{\it see \/}{#1}}