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: fixed italic correction;
authorwenzelm
Thu, 21 Oct 1999 18:47:33 +0200
changeset 7907 258f136864db
parent 7906 0576dad973b1
child 7908 0b191b36ad97
\isakeyword: fixed italic correction;
lib/texinputs/isabelle.sty file | annotate | diff | comparison | revisions 
--- a/lib/texinputs/isabelle.sty	Thu Oct 21 18:46:33 1999 +0200
+++ b/lib/texinputs/isabelle.sty	Thu Oct 21 18:47:33 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