src/Pure/Isar/token.scala

--- a/src/Pure/Isar/token.scala	Thu Jun 16 23:35:37 2011 +0200
+++ b/src/Pure/Isar/token.scala	Fri Jun 17 00:10:39 2011 +0200
@@ -64,6 +64,7 @@
 sealed case class Token(val kind: Token.Kind.Value, val source: String)
 {
   def is_command: Boolean = kind == Token.Kind.COMMAND
+  def is_keyword: Boolean = kind == Token.Kind.KEYWORD
   def is_delimited: Boolean =
     kind == Token.Kind.STRING ||
     kind == Token.Kind.ALT_STRING ||