doc-src/iman.sty
changeset 6123 4ba5066d01fc
parent 5765 165de7b92ea6
child 6747 cee5adcc1f5c
     1.1 --- a/doc-src/iman.sty	Wed Jan 13 16:38:02 1999 +0100
     1.2 +++ b/doc-src/iman.sty	Wed Jan 13 16:38:16 1999 +0100
     1.3 @@ -67,6 +67,7 @@
     1.4  \gdef\dquotes{\catcode`\"=\active  \let"=\@mathText}%
     1.5  \gdef\@mathText#1"{\hbox{\mathTextFont #1\/}}}
     1.6  \def\mathTextFont{\frenchspacing\tt}
     1.7 +\def\dquotesoff{\catcode`\"=\other}
     1.8  
     1.9  %%%% meta-logical connectives
    1.10