src/Pure/Isar/keyword.ML
changeset 50714 2af9e4614ba4
parent 48900 e54cf66928e6
child 51225 3fe0d8d55975
--- a/src/Pure/Isar/keyword.ML	Fri Jan 04 11:07:39 2013 +0100
+++ b/src/Pure/Isar/keyword.ML	Fri Jan 04 11:21:31 2013 +0100
@@ -207,9 +207,9 @@
   let
     val Keywords {lexicons = (minor, _), commands} = get_keywords ();
     val _ = sort_strings (Scan.dest_lexicon minor) |> List.app (fn name =>
-      writeln ("Outer syntax keyword " ^ quote name));
+      writeln ("\fOuter syntax keyword " ^ quote name));
     val _ = sort_wrt #1 (Symtab.dest commands) |> List.app (fn (name, kind) =>
-      writeln ("Outer syntax keyword " ^ quote name ^ " :: " ^ kind_of kind));
+      writeln ("\fOuter syntax keyword " ^ quote name ^ " :: " ^ kind_of kind));
   in () end;