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