| changeset 7811 | eaf9e022eef3 |
| parent 7797 | 38a46d9ea08a |
| child 7907 | 258f136864db |
--- a/lib/texinputs/isabelle.sty Fri Oct 08 17:06:48 1999 +0200 +++ b/lib/texinputs/isabelle.sty Fri Oct 08 17:07:10 1999 +0200 @@ -21,7 +21,7 @@ % keyword and section markup \newcommand{\isacommand}[1]{{\bf #1}} -\newcommand{\isakeyword}[1]{{\bf #1}} +\newcommand{\isakeyword}[1]{\/{\bf #1}\/} \newcommand{\isabeginblock}{\isakeyword{\{}} \newcommand{\isaendblock}{\isakeyword{\}}}