--- a/lib/texinputs/isabelle.sty Wed Sep 12 11:38:23 2012 +0200
+++ b/lib/texinputs/isabelle.sty Wed Sep 12 12:09:40 2012 +0200
@@ -103,9 +103,6 @@
\def\isacharverbatimclose{\isacharasterisk\isacharbraceright}%
}
-\newcommand{\isaliteral}[2]{#2}
-\newcommand{\isanil}{}
-
% keyword and section markup
@@ -158,9 +155,9 @@
\isachardefaults%
\def\isacharunderscorekeyword{\mbox{-}}%
\def\isacharbang{\isamath{!}}%
-\def\isachardoublequote{\isanil}%
-\def\isachardoublequoteopen{\isanil}%
-\def\isachardoublequoteclose{\isanil}%
+\def\isachardoublequote{}%
+\def\isachardoublequoteopen{}%
+\def\isachardoublequoteclose{}%
\def\isacharhash{\isamath{\#}}%
\def\isachardollar{\isamath{\$}}%
\def\isacharpercent{\isamath{\%}}%