doc-src/isar.sty
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}}