\isakeyword: italic correction;
authorwenzelm
Fri Oct 08 17:07:10 1999 +0200 (1999-10-08)
changeset 7811eaf9e022eef3
parent 7810 e5f15a673a69
child 7812 a8a21d7a83a1
\isakeyword: italic correction;
lib/texinputs/isabelle.sty
     1.1 --- a/lib/texinputs/isabelle.sty	Fri Oct 08 17:06:48 1999 +0200
     1.2 +++ b/lib/texinputs/isabelle.sty	Fri Oct 08 17:07:10 1999 +0200
     1.3 @@ -21,7 +21,7 @@
     1.4  % keyword and section markup
     1.5  
     1.6  \newcommand{\isacommand}[1]{{\bf #1}}
     1.7 -\newcommand{\isakeyword}[1]{{\bf #1}}
     1.8 +\newcommand{\isakeyword}[1]{\/{\bf #1}\/}
     1.9  \newcommand{\isabeginblock}{\isakeyword{\{}}
    1.10  \newcommand{\isaendblock}{\isakeyword{\}}}
    1.11