# 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{\}}}