1.1 --- a/doc-src/TutorialI/tutorial.sty	Wed Jul 25 18:21:01 2001 +0200
     1.2 +++ b/doc-src/TutorialI/tutorial.sty	Thu Jul 26 16:43:02 2001 +0200
     1.3 @@ -50,8 +50,12 @@
     1.4  \newcommand\ttindex[1]{\texttt{#1}\index{#1@\texttt{#1}}\@}
     1.5  \newcommand\ttindexbold[1]{\texttt{#1}\index{#1@\texttt{#1}|bold}\@}
     1.6  
     1.7 -\newcommand{\indexboldpos}[2]{#1\index{#2@#1|bold}\@}
     1.8 -\newcommand{\ttindexboldpos}[2]{\texttt{#1}\index{#2@\texttt{#1}|bold}\@}
     1.9 +%Commented-out the original versions to see what the index looks like without them.
    1.10 +%   In any event, they need to use \isa or \protect\isa rather than \texttt.
    1.11 +%%\newcommand{\indexboldpos}[2]{#1\index{#2@#1|bold}\@}
    1.12 +%%\newcommand{\ttindexboldpos}[2]{\texttt{#1}\index{#2@\texttt{#1}|bold}\@}
    1.13 +\newcommand{\indexboldpos}[2]{#1\@}
    1.14 +\newcommand{\ttindexboldpos}[2]{\isa{#1}\@}
    1.15  
    1.16  %\newtheorem{theorem}{Theorem}[section]
    1.17  \newtheorem{Exercise}{Exercise}[section]