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.
corrected class antiquotation
authorhaftmann
Thu, 02 Oct 2008 17:18:22 +0200
changeset 28461 640b7f8f9cad
parent 28460 455ef74607d7
child 28462 6ec603695aaf
corrected class antiquotation
doc-src/more_antiquote.ML file | annotate | diff | comparison | revisions 
--- 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
isabelle