src/Pure/Isar/token.ML

 (* markup *)
 
 local
 
 val token_kind_markup =
- fn Command       => (Markup.keyword1, "")
+ fn Command       => (Markup.command, "")
   | Keyword       => (Markup.keyword2, "")
   | Ident         => (Markup.empty, "")
   | LongIdent     => (Markup.empty, "")
   | SymIdent      => (Markup.empty, "")
   | Var           => (Markup.var, "")