diff -r 089fcaf94c00 -r fe319b45315c src/Pure/Syntax/lexicon.ML
--- a/src/Pure/Syntax/lexicon.ML	Sun Sep 04 19:12:06 2011 +0200
+++ b/src/Pure/Syntax/lexicon.ML	Sun Sep 04 19:36:19 2011 +0200
@@ -190,8 +190,8 @@
 
 val token_kind_markup =
  fn Literal     => Markup.literal
-  | IdentSy     => Markup.ident
-  | LongIdentSy => Markup.ident
+  | IdentSy     => Markup.empty
+  | LongIdentSy => Markup.empty
   | VarSy       => Markup.var
   | TFreeSy     => Markup.tfree
   | TVarSy      => Markup.tvar