1.1 --- a/doc-src/isabelle.sty	Mon Nov 08 00:00:47 2010 +0100
     1.2 +++ b/doc-src/isabelle.sty	Mon Nov 08 11:28:22 2010 +0100
     1.3 @@ -96,6 +96,7 @@
     1.4  }
     1.5  
     1.6  \newcommand{\isaliteral}[2]{#2}
     1.7 +\newcommand{\isanil}{}
     1.8  
     1.9  
    1.10  % keyword and section markup
    1.11 @@ -148,9 +149,9 @@
    1.12  \renewcommand{\isastylescript}{\footnotesize\it}%
    1.13  \renewcommand{\isacharunderscorekeyword}{\mbox{-}}%
    1.14  \renewcommand{\isacharbang}{\isamath{!}}%
    1.15 -\renewcommand{\isachardoublequote}{}%
    1.16 -\renewcommand{\isachardoublequoteopen}{}%
    1.17 -\renewcommand{\isachardoublequoteclose}{}%
    1.18 +\renewcommand{\isachardoublequote}{\isanil}%
    1.19 +\renewcommand{\isachardoublequoteopen}{\isanil}%
    1.20 +\renewcommand{\isachardoublequoteclose}{\isanil}%
    1.21  \renewcommand{\isacharhash}{\isamath{\#}}%
    1.22  \renewcommand{\isachardollar}{\isamath{\$}}%
    1.23  \renewcommand{\isacharpercent}{\isamath{\%}}%