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.
fixed \isastyleminor for "tt": \small;
authorwenzelm
Wed, 11 Oct 2000 12:52:56 +0200
changeset 10188 2899182af616
parent 10187 0376cccd9118
child 10189 865918597b63
fixed \isastyleminor for "tt": \small;
lib/texinputs/isabelle.sty file | annotate | diff | comparison | revisions 
--- a/lib/texinputs/isabelle.sty	Wed Oct 11 10:44:42 2000 +0200
+++ b/lib/texinputs/isabelle.sty	Wed Oct 11 12:52:56 2000 +0200
@@ -98,7 +98,7 @@
 
 \newcommand{\isabellestylett}{%
 \renewcommand{\isastyle}{\small\tt}%
-\renewcommand{\isastyleminor}{\tt}%
+\renewcommand{\isastyleminor}{\small\tt}%
 }
 \newcommand{\isabellestyleit}{%
 \renewcommand{\isastyle}{\small\it}%
isabelle