doc-src/isar.sty
changeset 13042 d8a345d9e067
parent 13011 a474097a4c65
child 16168 adb83939177f
     1.1 --- a/doc-src/isar.sty	Mon Mar 04 19:06:01 2002 +0100
     1.2 +++ b/doc-src/isar.sty	Thu Mar 07 23:21:19 2002 +0100
     1.3 @@ -30,7 +30,7 @@
     1.4  \newcommand{\isaratt}{attribute}
     1.5  
     1.6  \newcommand{\I@optname}[1]{\ifthenelse{\equal{}{#1}}{}{~#1\colon}}
     1.7 -\newcommand{\I@optmeth}[1]{\ifthenelse{\equal{}{#1}}{}{~(#1)}}
     1.8 +\newcommand{\I@optmeth}[1]{\ifthenelse{\equal{}{#1}}{}{~#1}}
     1.9  
    1.10  \newcommand{\AND}{\isarkeyword{and}}
    1.11  \newcommand{\IN}{\isarkeyword{in}}