report markup;

--- a/src/Pure/Isar/attrib.ML	Wed Aug 06 00:10:18 2008 +0200
+++ b/src/Pure/Isar/attrib.ML	Wed Aug 06 00:10:22 2008 +0200
@@ -99,7 +99,7 @@
       let val ((name, _), pos) = Args.dest_src src in
         (case Symtab.lookup attrs name of
           NONE => error ("Unknown attribute: " ^ quote name ^ Position.str_of pos)
-        | SOME ((att, _), _) => att src)
+        | SOME ((att, _), _) => (Position.report (Markup.attribute name) pos; att src))
       end;
   in attr end;
 

--- a/src/Pure/Isar/method.ML	Wed Aug 06 00:10:18 2008 +0200
+++ b/src/Pure/Isar/method.ML	Wed Aug 06 00:10:22 2008 +0200
@@ -437,7 +437,7 @@
       let val ((name, _), pos) = Args.dest_src src in
         (case Symtab.lookup meths name of
           NONE => error ("Unknown proof method: " ^ quote name ^ Position.str_of pos)
-        | SOME ((mth, _), _) => mth src)
+        | SOME ((mth, _), _) => (Position.report (Markup.method name) pos; mth src))
       end;
   in meth end;