# HG changeset patch
# User wenzelm
# Date 939395230 -7200
# Node ID eaf9e022eef386e02cf1db114813beb36622a7f5
# Parent  e5f15a673a695d9dd32f5265fa7c0ac2d8cfb9b7
\isakeyword: italic correction;

diff -r e5f15a673a69 -r eaf9e022eef3 lib/texinputs/isabelle.sty
--- 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{\}}}