changeset 56052 | 4873054cd1fc |
parent 56026 | 893fe12639bc |
child 56334 | 6b3739fee456 |
--- a/src/Pure/Isar/bundle.ML Tue Mar 11 13:58:22 2014 +0100 +++ b/src/Pure/Isar/bundle.ML Tue Mar 11 14:28:39 2014 +0100 @@ -133,7 +133,7 @@ Pretty.block (Pretty.keyword1 "bundle" :: Pretty.str " " :: Pretty.mark_str name :: Pretty.breaks (Pretty.str " =" :: maps prt_fact bundle)); in - map prt_bundle (Name_Space.extern_table ctxt (get_bundles ctxt)) + map prt_bundle (Name_Space.markup_table ctxt (get_bundles ctxt)) end |> Pretty.chunks |> Pretty.writeln; end;