| changeset 6123 | 4ba5066d01fc |
| parent 5765 | 165de7b92ea6 |
| child 6747 | cee5adcc1f5c |
--- 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