lib/jedit/plugin/isabelle_plugin.scala

--- a/lib/jedit/plugin/isabelle_plugin.scala	Mon Aug 25 22:42:04 2008 +0200
+++ b/lib/jedit/plugin/isabelle_plugin.scala	Mon Aug 25 23:27:56 2008 +0200
@@ -26,13 +26,18 @@
 
 object IsabellePlugin {
 
+  /* Isabelle symbols */
+
+  val symbols = new Symbol.Interpretation
+
+  def result_content(result: IsabelleProcess.Result) =
+    XML.content(YXML.parse_failsafe(symbols.decode(result.result))).mkString("")
+
+
   /* Isabelle process */
 
   var isabelle: IsabelleProcess = null
 
-  def result_content(result: IsabelleProcess.Result) =
-    XML.content(isabelle.decode_result(result)).mkString("")
-
 
   /* unique ids */
 
@@ -149,6 +154,7 @@
 
   }
 
+
   override def stop = {
     isabelle.kill
     consumer_thread.join