src/Pure/Isar/token.scala

--- a/src/Pure/Isar/token.scala	Sat Nov 01 14:20:38 2014 +0100
+++ b/src/Pure/Isar/token.scala	Sat Nov 01 15:01:41 2014 +0100
@@ -202,9 +202,5 @@
     else if (kind == Token.Kind.CARTOUCHE) Scan.Parsers.cartouche_content(source)
     else if (kind == Token.Kind.COMMENT) Scan.Parsers.comment_content(source)
     else source
-
-  def text: (String, String) =
-    if (is_keyword && source == ";") ("terminator", "")
-    else (kind.toString, source)
 }