diff -r fb0c851e4f9d -r a5d0bcfb95a3 src/Pure/System/isabelle_process.scala
--- a/src/Pure/System/isabelle_process.scala	Thu Sep 23 14:39:29 2010 +0200
+++ b/src/Pure/System/isabelle_process.scala	Thu Sep 23 15:21:04 2010 +0200
@@ -74,21 +74,13 @@
       actor { loop { react { case res => Console.println(res) } } }, args: _*)
 
 
-  /* system log */
-
-  private val system_results = new mutable.ListBuffer[String]
+  /* results */
 
   private def system_result(text: String)
   {
-    synchronized { system_results += text }
     receiver ! new Result(XML.Elem(Markup(Markup.SYSTEM, Nil), List(XML.Text(text))))
   }
 
-  def syslog(): List[String] = synchronized { system_results.toList }
-
-
-  /* results */
-
   private val xml_cache = new XML.Cache(131071)
 
   private def put_result(kind: String, props: List[(String, String)], body: XML.Body)