src/Pure/Isar/token.scala

--- a/src/Pure/Isar/token.scala	Sat Feb 15 17:10:57 2014 +0100
+++ b/src/Pure/Isar/token.scala	Sat Feb 15 18:28:18 2014 +0100
@@ -155,7 +155,7 @@
 {
   def is_command: Boolean = kind == Token.Kind.COMMAND
   def is_keyword: Boolean = kind == Token.Kind.KEYWORD
-  def is_operator: Boolean = is_keyword && !Symbol.is_ascii_identifier(source)
+  def is_delimiter: Boolean = is_keyword && !Symbol.is_ascii_identifier(source)
   def is_ident: Boolean = kind == Token.Kind.IDENT
   def is_sym_ident: Boolean = kind == Token.Kind.SYM_IDENT
   def is_string: Boolean = kind == Token.Kind.STRING