Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/Pure/Isar/outer_keyword.ML
changeset 36681 dffeca08d3bf
parent 36315 e859879079c8 
--- a/src/Pure/Isar/outer_keyword.ML	Wed May 05 23:55:29 2010 +0200
+++ b/src/Pure/Isar/outer_keyword.ML	Thu May 06 13:41:30 2010 +0200
@@ -146,7 +146,7 @@
 fun command_tags name = these (Option.map tags_of (command_keyword name));
 
 
-(* report *)
+(* reports *)
 
 val keyword_status_reportN = "keyword_status_report";
isabelle