1.1 --- a/doc-src/isar.sty	Tue Oct 17 16:59:02 2000 +0200
     1.2 +++ b/doc-src/isar.sty	Tue Oct 17 22:22:56 2000 +0200
     1.3 @@ -27,6 +27,7 @@
     1.4  \newcommand{\I@optname}[1]{\ifthenelse{\equal{}{#1}}{}{~#1\colon}}
     1.5  \newcommand{\I@optmeth}[1]{\ifthenelse{\equal{}{#1}}{}{~(#1)}}
     1.6  
     1.7 +\newcommand{\AND}{\isarkeyword{and}}
     1.8  \newcommand{\LEMMANAME}{\isarkeyword{lemma}}
     1.9  \newcommand{\THEOREMNAME}{\isarkeyword{theorem}}
    1.10  \newcommand{\NOTENAME}{\isarkeyword{note}}
    1.11 @@ -49,7 +50,7 @@
    1.12  \newcommand{\LETNAME}{\isarkeyword{let}}
    1.13  \newcommand{\DEFNAME}{\isarkeyword{def}}
    1.14  \newcommand{\OBTAINNAME}{\isarkeyword{obtain}}
    1.15 -\newcommand{\CMTNAME}{\isarkeyword{-{}-}}
    1.16 +\newcommand{\CMTNAME}{\textbf{---}}
    1.17  
    1.18  \newcommand{\THEORY}{\isarkeyword{theory}}
    1.19  \newcommand{\CONTEXT}{\isarkeyword{context}}
    1.20 @@ -91,7 +92,7 @@
    1.21  \newcommand{\LET}[1]{\LETNAME~#1}
    1.22  \newcommand{\DEF}[2]{\DEFNAME\I@optname{#1}~#2}
    1.23  \newcommand{\ATT}[1]{\ap [#1]}
    1.24 -\newcommand{\CMT}[1]{\CMTNAME~\text{#1}}
    1.25 +\newcommand{\CMT}[1]{\CMTNAME~\Text{#1}}
    1.26  \newcommand{\ALSO}{\isarkeyword{also}}
    1.27  \newcommand{\FINALLY}{\isarkeyword{finally}}
    1.28  \newcommand{\MOREOVER}{\isarkeyword{moreover}}