| changeset 28461 | 640b7f8f9cad |
| parent 28440 | 0b9ddfa6458e |
| child 28634 | 764ef122a164 |
--- a/doc-src/more_antiquote.ML Thu Oct 02 14:22:45 2008 +0200 +++ b/doc-src/more_antiquote.ML Thu Oct 02 17:18:22 2008 +0200 @@ -29,8 +29,8 @@ local -fun pr_class ctxt = enclose "\\isa{" "}" o Sign.extern_class (ProofContext.theory_of ctxt) - o Sign.read_class (ProofContext.theory_of ctxt); +fun pr_class ctxt = enclose "\\isa{" "}" o Pretty.output o Pretty.str + o Sign.extern_class (ProofContext.theory_of ctxt) o Sign.read_class (ProofContext.theory_of ctxt); in