lib/texinputs/isabelle.sty
changeset 42663 c31df4184ead
parent 42514 f32500b4bc23
child 42711 159c4d1d4c42
     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}%