Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
defined dquotesoff
authorpaulson
Wed, 13 Jan 1999 16:38:16 +0100
changeset 6123 4ba5066d01fc
parent 6122 ebbea9e7aa9e
child 6124 3aa7926f039a
defined dquotesoff
doc-src/iman.sty file | annotate | diff | comparison | revisions 
--- 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
isabelle