# HG changeset patch
# User haftmann
# Date 1222960702 -7200
# Node ID 640b7f8f9cada4c717a6b31c43c2a98785f975f4
# Parent  455ef74607d7f342189acd30e8979f4f1b633a6a
corrected class antiquotation

diff -r 455ef74607d7 -r 640b7f8f9cad doc-src/more_antiquote.ML
--- 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