# HG changeset patch
# User wenzelm
# Date 940616620 -7200
# Node ID 2979b3b75dbd885bdd430fbfabd797e24a389ce0
# Parent  5e5b9813cce741b3ca1937c62a609613b59886e5
achieve proper italic correction;

diff -r 5e5b9813cce7 -r 2979b3b75dbd lib/texinputs/isabelle.sty
--- a/lib/texinputs/isabelle.sty	Fri Oct 22 20:14:31 1999 +0200
+++ b/lib/texinputs/isabelle.sty	Fri Oct 22 20:23:40 1999 +0200
@@ -20,8 +20,8 @@
 
 % keyword and section markup
 
-\newcommand{\isacommand}[1]{{\bf #1}}
-\newcommand{\isakeyword}[1]{\/{\bf #1}}
+\newcommand{\isacommand}[1]{\emph{\bf #1}}
+\newcommand{\isakeyword}[1]{\emph{\bf #1}}
 \newcommand{\isabeginblock}{\isakeyword{\{}}
 \newcommand{\isaendblock}{\isakeyword{\}}}