# HG changeset patch
# User wenzelm
# Date 971261576 -7200
# Node ID 2899182af616a60fe048dda613c43c22a9765bd9
# Parent  0376cccd9118f7402cb357ffd82985fd778649d6
fixed \isastyleminor for "tt": \small;

diff -r 0376cccd9118 -r 2899182af616 lib/texinputs/isabelle.sty
--- 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}%