achieve proper italic correction;
authorwenzelm
Fri Oct 22 20:23:40 1999 +0200 (1999-10-22)
changeset 79182979b3b75dbd
parent 7917 5e5b9813cce7
child 7919 35c18affc1d8
achieve proper italic correction;
lib/texinputs/isabelle.sty
     1.1 --- a/lib/texinputs/isabelle.sty	Fri Oct 22 20:14:31 1999 +0200
     1.2 +++ b/lib/texinputs/isabelle.sty	Fri Oct 22 20:23:40 1999 +0200
     1.3 @@ -20,8 +20,8 @@
     1.4  
     1.5  % keyword and section markup
     1.6  
     1.7 -\newcommand{\isacommand}[1]{{\bf #1}}
     1.8 -\newcommand{\isakeyword}[1]{\/{\bf #1}}
     1.9 +\newcommand{\isacommand}[1]{\emph{\bf #1}}
    1.10 +\newcommand{\isakeyword}[1]{\emph{\bf #1}}
    1.11  \newcommand{\isabeginblock}{\isakeyword{\{}}
    1.12  \newcommand{\isaendblock}{\isakeyword{\}}}
    1.13