diff -r c3681b9e060f -r 4873054cd1fc src/Pure/Isar/bundle.ML
--- 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;