lib/texinputs/isabelle.sty
changeset 45646 02afa20cf397
parent 43458 b55a273ede18
child 49320 94bd2fb83d11
     1.1 --- a/lib/texinputs/isabelle.sty	Sun Nov 27 12:52:52 2011 +0100
     1.2 +++ b/lib/texinputs/isabelle.sty	Sun Nov 27 13:12:42 2011 +0100
     1.3 @@ -194,10 +194,12 @@
     1.4  \def\isacharverbatimclose{\isamath{\rangle\!\rangle}}%
     1.5  }
     1.6  
     1.7 -\newcommand{\isabellestyleitunderscore}{%
     1.8 +\newcommand{\isabellestyleliteral}{%
     1.9  \isabellestyleit%
    1.10  \def\isacharunderscore{\_}%
    1.11  \def\isacharunderscorekeyword{\_}%
    1.12 +\chardef\isacharbackquoteopen=`\`%
    1.13 +\chardef\isacharbackquoteclose=`\`%
    1.14  }
    1.15  
    1.16  \newcommand{\isabellestylesl}{%