changeset 13042 | d8a345d9e067 |
parent 13011 | a474097a4c65 |
child 16168 | adb83939177f |
--- a/doc-src/isar.sty Thu Mar 07 22:52:07 2002 +0100 +++ b/doc-src/isar.sty Thu Mar 07 23:21:19 2002 +0100 @@ -30,7 +30,7 @@ \newcommand{\isaratt}{attribute} \newcommand{\I@optname}[1]{\ifthenelse{\equal{}{#1}}{}{~#1\colon}} -\newcommand{\I@optmeth}[1]{\ifthenelse{\equal{}{#1}}{}{~(#1)}} +\newcommand{\I@optmeth}[1]{\ifthenelse{\equal{}{#1}}{}{~#1}} \newcommand{\AND}{\isarkeyword{and}} \newcommand{\IN}{\isarkeyword{in}}