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.
\isakeyword: italic correction;
authorwenzelm
Fri, 08 Oct 1999 17:07:10 +0200
changeset 7811 eaf9e022eef3
parent 7810 e5f15a673a69
child 7812 a8a21d7a83a1
\isakeyword: italic correction;
lib/texinputs/isabelle.sty file | annotate | diff | comparison | revisions 
--- a/lib/texinputs/isabelle.sty	Fri Oct 08 17:06:48 1999 +0200
+++ b/lib/texinputs/isabelle.sty	Fri Oct 08 17:07:10 1999 +0200
@@ -21,7 +21,7 @@
 % keyword and section markup
 
 \newcommand{\isacommand}[1]{{\bf #1}}
-\newcommand{\isakeyword}[1]{{\bf #1}}
+\newcommand{\isakeyword}[1]{\/{\bf #1}\/}
 \newcommand{\isabeginblock}{\isakeyword{\{}}
 \newcommand{\isaendblock}{\isakeyword{\}}}
isabelle