Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
tuned msg;
authorwenzelm
Tue, 12 Jan 1999 17:19:13 +0100
changeset 6107 1418bc571f23
parent 6106 f5999c0f40b9
child 6108 2c9ed58c30ba
tuned msg;
src/Pure/Isar/outer_syntax.ML file | annotate | diff | comparison | revisions 
--- a/src/Pure/Isar/outer_syntax.ML	Tue Jan 12 17:17:07 1999 +0100
+++ b/src/Pure/Isar/outer_syntax.ML	Tue Jan 12 17:19:13 1999 +0100
@@ -84,7 +84,7 @@
       Pretty.block [Pretty.str (name ^ ":"), Pretty.brk 2, Pretty.str comment];
     val (int_cmds, cmds) = partition (#1 o #2 o #2) (Symtab.dest (! global_parsers));
   in
-    Pretty.writeln (Pretty.strs ("keywords:" :: map quote keywords));
+    Pretty.writeln (Pretty.strs ("syntax keywords:" :: map quote keywords));
     Pretty.writeln (Pretty.big_list "proper commands:" (map pretty_cmd cmds));
     Pretty.writeln (Pretty.big_list "improper commands (interactive-only):"
       (map pretty_cmd int_cmds))
isabelle