changeset 42717 | 0bbb56867091 |
parent 42360 | da8817d01e7c |
child 44192 | a32ca9165928 |
--- a/src/Pure/Isar/proof_display.ML Thu May 12 16:00:48 2011 +0200 +++ b/src/Pure/Isar/proof_display.ML Thu May 12 16:23:13 2011 +0200 @@ -27,7 +27,7 @@ (* toplevel pretty printing *) fun pp_context ctxt = - (if ! Proof_Context.debug then + (if Config.get ctxt Proof_Context.debug then Pretty.quote (Pretty.big_list "proof context:" (Proof_Context.pretty_context ctxt)) else Pretty.str "<context>");