1.1 --- a/src/Pure/System/isabelle_process.scala Wed Jul 06 23:11:59 2011 +0200
1.2 +++ b/src/Pure/System/isabelle_process.scala Thu Jul 07 13:48:30 2011 +0200
1.3 @@ -92,7 +92,7 @@
1.4
1.5 private def put_result(kind: String, text: String)
1.6 {
1.7 - put_result(kind, Nil, List(XML.Text(Isabelle_System.symbols.decode(text))))
1.8 + put_result(kind, Nil, List(XML.Text(Symbol.decode(text))))
1.9 }
1.10
1.11
1.12 @@ -341,7 +341,7 @@
1.13
1.14 if (i != n) throw new Protocol_Error("bad message chunk content")
1.15
1.16 - YXML.parse_body_failsafe(YXML.decode_chars(Isabelle_System.symbols.decode, buf, 0, n))
1.17 + YXML.parse_body_failsafe(YXML.decode_chars(Symbol.decode, buf, 0, n))
1.18 //}}}
1.19 }
1.20