tuned msg;
authorwenzelm
Tue Jan 12 17:19:13 1999 +0100 (1999-01-12)
changeset 61071418bc571f23
parent 6106 f5999c0f40b9
child 6108 2c9ed58c30ba
tuned msg;
src/Pure/Isar/outer_syntax.ML
     1.1 --- a/src/Pure/Isar/outer_syntax.ML	Tue Jan 12 17:17:07 1999 +0100
     1.2 +++ b/src/Pure/Isar/outer_syntax.ML	Tue Jan 12 17:19:13 1999 +0100
     1.3 @@ -84,7 +84,7 @@
     1.4        Pretty.block [Pretty.str (name ^ ":"), Pretty.brk 2, Pretty.str comment];
     1.5      val (int_cmds, cmds) = partition (#1 o #2 o #2) (Symtab.dest (! global_parsers));
     1.6    in
     1.7 -    Pretty.writeln (Pretty.strs ("keywords:" :: map quote keywords));
     1.8 +    Pretty.writeln (Pretty.strs ("syntax keywords:" :: map quote keywords));
     1.9      Pretty.writeln (Pretty.big_list "proper commands:" (map pretty_cmd cmds));
    1.10      Pretty.writeln (Pretty.big_list "improper commands (interactive-only):"
    1.11        (map pretty_cmd int_cmds))