--- a/doc-src/isar.sty Wed Jan 10 20:19:34 2001 +0100
+++ b/doc-src/isar.sty Wed Jan 10 20:19:56 2001 +0100
@@ -85,8 +85,8 @@
\newcommand{\BYY}[2]{\BYNAME\I@optmeth{#1}\I@optmeth{#2}}
\newcommand{\APPLY}[1]{\APPLYNAME\I@optmeth{#1}}
\newcommand{\DONE}{\isarkeyword{done}}
-\newcommand{\DOT}{\isarkeyword{.}}
-\newcommand{\DDOT}{\isarkeyword{.\,.}}
+\newcommand{\DOT}{\textbf{.}}
+\newcommand{\DDOT}{\textbf{.\,.}}
\newcommand{\DDDOT}{\dots}
\newcommand{\IS}[1]{(\ISNAME~#1)}
\newcommand{\ISS}[2]{(\ISNAME~#1~\ISNAME~#2)}