Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/Pure/ProofGeneral/proof_general_pgip.ML
changeset 32091 30e2ffbba718
parent 31478 5e412e4c6546
child 32144 183c1010ac14 
--- a/src/Pure/ProofGeneral/proof_general_pgip.ML	Tue Jul 21 00:56:19 2009 +0200
+++ b/src/Pure/ProofGeneral/proof_general_pgip.ML	Tue Jul 21 01:03:18 2009 +0200
@@ -655,7 +655,7 @@
                                   text=[XML.Elem("pgml",[],
                                                  maps YXML.parse_body strings)] })
 
-        fun string_of_thm th = Pretty.string_of (Display.pretty_thm_aux
+        fun string_of_thm th = Pretty.string_of (Display.pretty_thm_raw
             (Syntax.pp_global (Thm.theory_of_thm th))
             {quote = false, show_hyps = false, show_status = true} [] th)
isabelle