# HG changeset patch
# User wenzelm
# Date 958912955 -7200
# Node ID e9f1cd37cba47fa3ef3359ea0b0bb029aa76a219
# Parent  99266fe189a163fbf48a6e1a7651c67d1b03e608
improved \BG, \EN;

diff -r 99266fe189a1 -r e9f1cd37cba4 doc-src/isar.sty
--- a/doc-src/isar.sty	Sun May 21 14:37:17 2000 +0200
+++ b/doc-src/isar.sty	Sun May 21 14:42:35 2000 +0200
@@ -89,8 +89,8 @@
 \newcommand{\MOREOVER}{\isarkeyword{moreover}}
 \newcommand{\ULTIMATELY}{\isarkeyword{ultimately}}
 \newcommand{\OBTAIN}[3]{\OBTAINNAME~#1~\isarkeyword{where}\I@optname{#2}~#3}
-\newcommand{\BG}{\isarkeyword{\{\{}}
-\newcommand{\EN}{\isarkeyword{\}\}}}
+\newcommand{\BG}{\isarkeyword{\textbf{\{}}}
+\newcommand{\EN}{\isarkeyword{\textbf{\}}}}
 \newcommand{\NEXT}{\isarkeyword{next}}
 \newcommand{\SORRY}{\isarkeyword{sorry}}
 \newcommand{\OOPS}{\isarkeyword{oops}}