| changeset 36745 | 403585a89772 |
| parent 35786 | 9d8cd1ca8c61 |
| child 37216 | 3165bc303f66 |
--- a/doc-src/more_antiquote.ML Sat May 08 16:53:53 2010 +0200 +++ b/doc-src/more_antiquote.ML Sat May 08 19:14:13 2010 +0200 @@ -51,7 +51,7 @@ local -val pr_text = enclose "\\isa{" "}" o Pretty.output o Pretty.str; +val pr_text = enclose "\\isa{" "}" o Pretty.output NONE o Pretty.str; fun pr_class ctxt = ProofContext.read_class ctxt #> Type.extern_class (ProofContext.tsig_of ctxt)