# HG changeset patch
# User paulson
# Date 916241896 -3600
# Node ID 4ba5066d01fccad355be51734cf221f76b94ec41
# Parent  ebbea9e7aa9e660a88f6d902191b04d448d158ee
defined dquotesoff

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