tuned msg;
authorwenzelm
Thu Dec 01 22:03:05 2005 +0100 (2005-12-01 ago)
changeset 183262f57579e618f
parent 18325 2d504ea54e5b
child 18327 1ee4523c831f
tuned msg;
src/Pure/Isar/outer_syntax.ML
     1.1 --- a/src/Pure/Isar/outer_syntax.ML	Thu Dec 01 22:03:04 2005 +0100
     1.2 +++ b/src/Pure/Isar/outer_syntax.ML	Thu Dec 01 22:03:05 2005 +0100
     1.3 @@ -172,8 +172,8 @@
     1.4      val (int_cmds, cmds) = List.partition #4 (dest_parsers ());
     1.5    in
     1.6      [Pretty.strs ("syntax keywords:" :: map quote (dest_keywords ())),
     1.7 -      Pretty.big_list "proper commands:" (map pretty_cmd cmds),
     1.8 -      Pretty.big_list "improper commands (interactive-only):" (map pretty_cmd int_cmds)]
     1.9 +      Pretty.big_list "commands:" (map pretty_cmd cmds),
    1.10 +      Pretty.big_list "interactive-only commands:" (map pretty_cmd int_cmds)]
    1.11      |> Pretty.chunks |> Pretty.writeln
    1.12    end;
    1.13