--- a/src/Pure/Isar/token.scala Fri Nov 27 14:25:39 2020 +0100
+++ b/src/Pure/Isar/token.scala Fri Nov 27 16:40:31 2020 +0100
@@ -256,22 +256,6 @@
def reader(tokens: List[Token], start: Token.Pos): Reader =
new Token_Reader(tokens, start)
-
-
- /* XML data representation */
-
- val encode: XML.Encode.T[Token] = (tok: Token) =>
- {
- import XML.Encode._
- pair(int, string)(tok.kind.id, tok.source)
- }
-
- val decode: XML.Decode.T[Token] = (body: XML.Body) =>
- {
- import XML.Decode._
- val (k, s) = pair(int, string)(body)
- Token(Kind(k), s)
- }
}