1.1 --- a/doc-src/isabelle.sty	Sun Nov 07 22:42:49 2010 +0100
     1.2 +++ b/doc-src/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