# HG changeset patch
# User wenzelm
# Date 969028216 -7200
# Node ID 236cf072264d4528c8c85e1794e7e30ea4db80fc
# Parent  5361a27c185304a106c8d713ba114ebef1af2469
fixed "sl" style;

diff -r 5361a27c1853 -r 236cf072264d lib/texinputs/isabelle.sty
--- a/lib/texinputs/isabelle.sty	Fri Sep 15 16:29:36 2000 +0200
+++ b/lib/texinputs/isabelle.sty	Fri Sep 15 16:30:16 2000 +0200
@@ -129,4 +129,8 @@
 \renewcommand{\isacharbraceright}{\emph{$\}$}}%
 }
 
-\newcommand{\isabellestylesl}{\isabellestyleit\renewcommand{\isastyle}{\small\slshape}}
+\newcommand{\isabellestylesl}{%
+\isabellestyleit%
+\renewcommand{\isastyle}{\small\sl}%
+\renewcommand{\isastyleminor}{\sl}%
+}