defined dquotesoff
authorpaulson
Wed Jan 13 16:38:16 1999 +0100 (1999-01-13)
changeset 61234ba5066d01fc
parent 6122 ebbea9e7aa9e
child 6124 3aa7926f039a
defined dquotesoff
doc-src/iman.sty
     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