tuned attdx, methdx;
authorwenzelm
Tue Aug 03 19:01:42 1999 +0200 (1999-08-03)
changeset 716976ef91b608a9
parent 7168 741dc2a434b7
child 7170 cb8afc731bee
tuned attdx, methdx;
added descr env;
doc-src/iman.sty
     1.1 --- a/doc-src/iman.sty	Tue Aug 03 18:57:11 1999 +0200
     1.2 +++ b/doc-src/iman.sty	Tue Aug 03 19:01:42 1999 +0200
     1.3 @@ -36,8 +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 +\newcommand\attdx[1]{$#1$\index{#1@$#1$ attribute}}
    1.10 +\newcommand\methdx[1]{$#1$\index{#1@$#1$ proof method}}
    1.11  
    1.12  %for cross-references: 2nd argument (page number) is ignored
    1.13  \newcommand\see[2]{{\it see \/}{#1}}
    1.14 @@ -144,6 +144,11 @@
    1.15  \def\sloppy{\tolerance2000 \hfuzz.5pt \vfuzz.5pt \emergencystretch=15pt}
    1.16  \def\fussy{\tolerance200 \hfuzz.1pt \vfuzz.1pt \emergencystretch=0pt}
    1.17  
    1.18 +%non-bf version of description
    1.19 +\def\descrlabel#1{\hspace\labelsep #1}
    1.20 +\def\descr{\list{}{\labelwidth\z@ \itemindent-\leftmargin\let\makelabel\descrlabel}}
    1.21 +\let\enddescr\endlist
    1.22 +
    1.23  %%%% \tt things
    1.24  
    1.25  \def\ttdescriptionlabel#1{\hspace\labelsep \tt #1}