author | wenzelm |
Fri, 15 Sep 2000 16:30:16 +0200 | |
changeset 9975 | 236cf072264d |
parent 9974 | 5361a27c1853 |
child 9976 | b00373bf9cf3 |
--- 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}% +}