# HG changeset patch
# User wenzelm
# Date 863628129 -7200
# Node ID 8f8c88dcd728d9dc5e4999f9e8c013dea9f0a226
# Parent  57be77ca36ff8d8752a9d8a1d8da784152f5e065
added \tooldx;

diff -r 57be77ca36ff -r 8f8c88dcd728 doc-src/iman.sty
--- a/doc-src/iman.sty	Wed May 14 18:41:48 1997 +0200
+++ b/doc-src/iman.sty	Wed May 14 18:42:09 1997 +0200
@@ -34,6 +34,8 @@
 \newcommand\tydx[1]{{\tt#1}\index{#1@{\tt#1} type}}
 \newcommand\thydx[1]{{\tt#1}\index{#1@{\tt#1} theory}}
 
+\newcommand\tooldx[1]{{\tt#1}\index{#1@{\tt#1} tool}}
+
 %for cross-references: 2nd argument (page number) is ignored
 \newcommand\see[2]{{\it see \/}{#1}}
 \newcommand\seealso[2]{{\it see also \/}{#1}}