changeset 10188 | 2899182af616 |
parent 10118 | 68d6c5b336c1 |
child 10220 | 2a726de6e124 |
--- 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}%