lib/texinputs/isabelle.sty
changeset 55365 9d5aba2baa4c
parent 55033 8e8243975860
child 58716 23a380cc45f4
     1.1 --- a/lib/texinputs/isabelle.sty	Sun Feb 09 13:07:23 2014 +0100
     1.2 +++ b/lib/texinputs/isabelle.sty	Sun Feb 09 16:17:01 2014 +0100
     1.3 @@ -197,6 +197,12 @@
     1.4  \chardef\isacharbackquoteclose=`\`%
     1.5  }
     1.6  
     1.7 +\newcommand{\isabellestyleliteralunderscore}{%
     1.8 +\isabellestyleliteral%
     1.9 +\def\isacharunderscore{\textunderscore}%
    1.10 +\def\isacharunderscorekeyword{\textunderscore}%
    1.11 +}
    1.12 +
    1.13  \newcommand{\isabellestylesl}{%
    1.14  \isabellestyleit%
    1.15  \def\isastyle{\small\sl}%