--- a/src/Pure/Isar/bundle.ML Wed Feb 26 10:45:06 2014 +0100
+++ b/src/Pure/Isar/bundle.ML Wed Feb 26 10:53:19 2014 +0100
@@ -133,7 +133,7 @@
(Pretty.breaks (map prt_thm ths)) :: Attrib.pretty_attribs ctxt atts;
fun prt_bundle (name, bundle) =
- Pretty.block (Pretty.command "bundle" :: Pretty.str " " :: Pretty.mark_str name ::
+ 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))