changeset 49867 | d3053a55bfcb |
parent 49866 | 619acbd72664 |
child 49889 | 00ea087e83d8 |
--- a/src/Pure/Isar/proof.ML Tue Oct 16 20:23:00 2012 +0200 +++ b/src/Pure/Isar/proof.ML Tue Oct 16 20:35:24 2012 +0200 @@ -338,7 +338,7 @@ fun pretty_facts _ _ NONE = [] | pretty_facts s ctxt (SOME ths) = - [Pretty.chunks + [(Pretty.block o Pretty.fbreaks) (Pretty.block [Pretty.command s, Pretty.brk 1, Pretty.str "this:"] :: map (Display.pretty_thm ctxt) ths), Pretty.str ""];