1.1 --- a/doc-src/TutorialI/tutorial.sty	Tue May 07 14:28:34 2002 +0200
     1.2 +++ b/doc-src/TutorialI/tutorial.sty	Tue May 07 15:03:50 2002 +0200
     1.3 @@ -37,8 +37,8 @@
     1.4  \newcommand\thydx[1]{\isa{#1}\index{#1@\protect\isa{#1} (theory)}}
     1.5  
     1.6  \newcommand\attrdx[1]{\isa{#1}\index{#1@\protect\isa{#1} (attribute)}}
     1.7 -\newcommand\commdx[1]{\isacommand{#1}\index{#1@\protect\isacommand{#1}
     1.8 -(command)}}
     1.9 +\newcommand\cmmdx[1]{\index{#1@\protect\isacommand{#1} (command)}}
    1.10 +\newcommand\commdx[1]{\isacommand{#1}\index{#1@\protect\isacommand{#1} (command)}}
    1.11  \newcommand\methdx[1]{\isa{#1}\index{#1@\protect\isa{#1} (method)}}
    1.12  \newcommand\tooldx[1]{\isa{#1}\index{#1@\protect\isa{#1} (tool)}}
    1.13  \newcommand\settdx[1]{\isa{#1}\index{#1@\protect\isa{#1} (setting)}}