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.
uniform content markup;
authorwenzelm
Mon, 02 May 2011 17:28:45 +0200
changeset 42621 51bf5e365be9
parent 42620 3a9723fca75c
child 42622 61a99eb5eb9d
uniform content markup;
doc-src/railsetup.sty file | annotate | diff | comparison | revisions 
--- a/doc-src/railsetup.sty	Mon May 02 17:28:09 2011 +0200
+++ b/doc-src/railsetup.sty	Mon May 02 17:28:45 2011 +0200
@@ -24,6 +24,6 @@
 %% content markup
 
 \def\rail@termfont{\small\ttfamily\upshape\isabellestyle{tt}}
-\def\rail@nontfont{\small\rmfamily\upshape\isabellestyle{it}}
+\def\rail@nontfont{\small\rmfamily\itshape\isabellestyle{it}}
 \def\rail@namefont{\small\rmfamily\itshape\isabellestyle{it}}
isabelle