--- a/lib/texinputs/isabelle.sty Mon Nov 08 00:00:47 2010 +0100
+++ b/lib/texinputs/isabelle.sty Mon Nov 08 11:28:22 2010 +0100
@@ -96,6 +96,7 @@
}
\newcommand{\isaliteral}[2]{#2}
+\newcommand{\isanil}{}
% keyword and section markup
@@ -148,9 +149,9 @@
\renewcommand{\isastylescript}{\footnotesize\it}%
\renewcommand{\isacharunderscorekeyword}{\mbox{-}}%
\renewcommand{\isacharbang}{\isamath{!}}%
-\renewcommand{\isachardoublequote}{}%
-\renewcommand{\isachardoublequoteopen}{}%
-\renewcommand{\isachardoublequoteclose}{}%
+\renewcommand{\isachardoublequote}{\isanil}%
+\renewcommand{\isachardoublequoteopen}{\isanil}%
+\renewcommand{\isachardoublequoteclose}{\isanil}%
\renewcommand{\isacharhash}{\isamath{\#}}%
\renewcommand{\isachardollar}{\isamath{\$}}%
\renewcommand{\isacharpercent}{\isamath{\%}}%