lib/texinputs/isabelle.sty
changeset 7918 2979b3b75dbd
parent 7907 258f136864db
child 8232 6b19ee96546c
--- 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{\}}}