Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
achieve proper italic correction;
authorwenzelm
Fri, 22 Oct 1999 20:23:40 +0200
changeset 7918 2979b3b75dbd
parent 7917 5e5b9813cce7
child 7919 35c18affc1d8
achieve proper italic correction;
lib/texinputs/isabelle.sty file | annotate | diff | comparison | revisions 
--- 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{\}}}
isabelle