diff -r 82f81d128111 -r dffeca08d3bf src/Pure/Isar/outer_keyword.ML
--- 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";