lib/texinputs/isabelle.sty
changeset 40402 b646316f8b3c
parent 39662 86595d7b59b5
child 40407 2ff10e613689
     1.1 --- a/lib/texinputs/isabelle.sty	Sun Nov 07 22:42:49 2010 +0100
     1.2 +++ b/lib/texinputs/isabelle.sty	Sun Nov 07 22:51:16 2010 +0100
     1.3 @@ -95,6 +95,8 @@
     1.4  \def\isacharverbatimclose{\isacharasterisk\isacharbraceright}%
     1.5  }
     1.6  
     1.7 +\newcommand{\isaliteral}[2]{#2}
     1.8 +
     1.9  
    1.10  % keyword and section markup
    1.11