src/Pure/Isar/token.scala

--- a/src/Pure/Isar/token.scala	Sat Jan 18 19:24:45 2014 +0100
+++ b/src/Pure/Isar/token.scala	Sat Jan 18 19:31:32 2014 +0100
@@ -71,12 +71,6 @@
   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_delimited: Boolean =
-    kind == Token.Kind.STRING ||
-    kind == Token.Kind.ALT_STRING ||
-    kind == Token.Kind.VERBATIM ||
-    kind == Token.Kind.CARTOUCHE ||
-    kind == Token.Kind.COMMENT
   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