src/Pure/Isar/keyword.ML
changeset 50714 2af9e4614ba4
parent 48900 e54cf66928e6
child 51225 3fe0d8d55975
equal deleted inserted replaced
50713:dae523e6198b 50714:2af9e4614ba4
   205 
   205 
   206 fun status () =
   206 fun status () =
   207   let
   207   let
   208     val Keywords {lexicons = (minor, _), commands} = get_keywords ();
   208     val Keywords {lexicons = (minor, _), commands} = get_keywords ();
   209     val _ = sort_strings (Scan.dest_lexicon minor) |> List.app (fn name =>
   209     val _ = sort_strings (Scan.dest_lexicon minor) |> List.app (fn name =>
   210       writeln ("Outer syntax keyword " ^ quote name));
   210       writeln ("\fOuter syntax keyword " ^ quote name));
   211     val _ = sort_wrt #1 (Symtab.dest commands) |> List.app (fn (name, kind) =>
   211     val _ = sort_wrt #1 (Symtab.dest commands) |> List.app (fn (name, kind) =>
   212       writeln ("Outer syntax keyword " ^ quote name ^ " :: " ^ kind_of kind));
   212       writeln ("\fOuter syntax keyword " ^ quote name ^ " :: " ^ kind_of kind));
   213   in () end;
   213   in () end;
   214 
   214 
   215 
   215 
   216 (* define *)
   216 (* define *)
   217 
   217