--- a/src/Pure/Isar/locale.ML Fri Nov 30 21:47:44 2012 +0100
+++ b/src/Pure/Isar/locale.ML Fri Nov 30 22:38:06 2012 +0100
@@ -608,8 +608,11 @@
(*** diagnostic commands and interfaces ***)
fun print_locales thy =
- Pretty.strs ("locales:" ::
- map #1 (Name_Space.extern_table (Proof_Context.init_global thy) (Locales.get thy)))
+ Pretty.block
+ (Pretty.breaks
+ (Pretty.str "locales:" ::
+ map (Pretty.mark_str o #1)
+ (Name_Space.extern_table (Proof_Context.init_global thy) (Locales.get thy))))
|> Pretty.writeln;
fun pretty_locale thy show_facts name =