changeset 7907 | 258f136864db |
parent 7811 | eaf9e022eef3 |
child 7918 | 2979b3b75dbd |
--- a/lib/texinputs/isabelle.sty Thu Oct 21 18:46:33 1999 +0200 +++ b/lib/texinputs/isabelle.sty Thu Oct 21 18:47:33 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{\}}}