# HG changeset patch
# User wenzelm
# Date 940524453 -7200
# Node ID 258f136864db20adc9185352a31829b8107c21d7
# Parent  0576dad973b1b91243c318148dae681311fd741e
\isakeyword: fixed italic correction;

diff -r 0576dad973b1 -r 258f136864db lib/texinputs/isabelle.sty
--- 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{\}}}