changeset 10005 | 8cd7ef5b8f9d |
parent 9921 | 7acefd99e748 |
child 10037 | 0d2a6feeb634 |
--- a/doc-src/AxClass/generated/isabelle.sty Fri Sep 15 21:52:09 2000 +0200 +++ b/doc-src/AxClass/generated/isabelle.sty Sun Sep 17 13:51:37 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}% +}