1.1 --- a/lib/texinputs/isabelle.sty Tue May 03 21:07:24 2011 +0200
1.2 +++ b/lib/texinputs/isabelle.sty Tue May 03 21:18:43 2011 +0200
1.3 @@ -186,6 +186,14 @@
1.4 \def\isacharverbatimclose{\isamath{\rangle\!\rangle}}%
1.5 }
1.6
1.7 +\newcommand{\isabellestyleitunderscore}{%
1.8 +%requires underscore.sty
1.9 +\underscoreon%
1.10 +\isabellestyleit%
1.11 +\def\isacharunderscore{\_}%
1.12 +\def\isacharunderscorekeyword{\_}%
1.13 +}
1.14 +
1.15 \newcommand{\isabellestylesl}{%
1.16 \isabellestyleit%
1.17 \def\isastyle{\small\sl}%