--- a/doc-src/iman.sty Tue Aug 03 18:57:11 1999 +0200
+++ b/doc-src/iman.sty Tue Aug 03 19:01:42 1999 +0200
@@ -36,8 +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}}
+\newcommand\attdx[1]{$#1$\index{#1@$#1$ attribute}}
+\newcommand\methdx[1]{$#1$\index{#1@$#1$ proof method}}
%for cross-references: 2nd argument (page number) is ignored
\newcommand\see[2]{{\it see \/}{#1}}
@@ -144,6 +144,11 @@
\def\sloppy{\tolerance2000 \hfuzz.5pt \vfuzz.5pt \emergencystretch=15pt}
\def\fussy{\tolerance200 \hfuzz.1pt \vfuzz.1pt \emergencystretch=0pt}
+%non-bf version of description
+\def\descrlabel#1{\hspace\labelsep #1}
+\def\descr{\list{}{\labelwidth\z@ \itemindent-\leftmargin\let\makelabel\descrlabel}}
+\let\enddescr\endlist
+
%%%% \tt things
\def\ttdescriptionlabel#1{\hspace\labelsep \tt #1}