provide \isabellestyle{itunderscore} (requires underscore.sty);
authorwenzelm
Tue May 03 21:18:43 2011 +0200 (2011-05-03)
changeset 42663c31df4184ead
parent 42662 2080fe35abea
child 42664 ae7707198403
provide \isabellestyle{itunderscore} (requires underscore.sty);
lib/texinputs/isabelle.sty
     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}%