doc-src/ProgProve/prelude.tex

--- a/doc-src/ProgProve/prelude.tex	Mon Apr 02 13:47:00 2012 +0200
+++ b/doc-src/ProgProve/prelude.tex	Mon Apr 02 20:12:10 2012 +0200
@@ -88,9 +88,9 @@
     \hbox to0pt{\hskip-\hangindent\warnbang\hfill}\ignorespaces}
   {\par\end{trivlist}}
 
-\renewcommand{\isachardoublequote}{}
-\renewcommand{\isachardoublequoteopen}{}
-\renewcommand{\isachardoublequoteclose}{}
+\chardef\isachardoublequote=`\"%
+\chardef\isachardoublequoteopen=`\"%
+\chardef\isachardoublequoteclose=`\"%
 
 \renewcommand{\isacharbackquoteopen}{\isacharbackquote}
 \renewcommand{\isacharbackquoteclose}{\isacharbackquote}