changeset 56052 | 4873054cd1fc |
parent 56032 | b034b9f0fa2a |
child 56201 | dd2df97b379b |
--- a/src/Pure/Isar/method.ML Tue Mar 11 13:58:22 2014 +0100 +++ b/src/Pure/Isar/method.ML Tue Mar 11 14:28:39 2014 +0100 @@ -328,7 +328,7 @@ Pretty.block (Pretty.mark_str name :: Pretty.str ":" :: Pretty.brk 2 :: Pretty.text comment); in - [Pretty.big_list "methods:" (map prt_meth (Name_Space.extern_table ctxt meths))] + [Pretty.big_list "methods:" (map prt_meth (Name_Space.markup_table ctxt meths))] |> Pretty.chunks |> Pretty.writeln end;