diff -r ebbea9e7aa9e -r 4ba5066d01fc doc-src/iman.sty
--- a/doc-src/iman.sty	Wed Jan 13 16:38:02 1999 +0100
+++ b/doc-src/iman.sty	Wed Jan 13 16:38:16 1999 +0100
@@ -67,6 +67,7 @@
 \gdef\dquotes{\catcode`\"=\active  \let"=\@mathText}%
 \gdef\@mathText#1"{\hbox{\mathTextFont #1\/}}}
 \def\mathTextFont{\frenchspacing\tt}
+\def\dquotesoff{\catcode`\"=\other}
 
 %%%% meta-logical connectives