src/Pure/System/isabelle_process.scala
changeset 39626 a5d0bcfb95a3
parent 39625 fb0c851e4f9d
child 39630 44181423183a
     1.1 --- a/src/Pure/System/isabelle_process.scala	Thu Sep 23 14:39:29 2010 +0200
     1.2 +++ b/src/Pure/System/isabelle_process.scala	Thu Sep 23 15:21:04 2010 +0200
     1.3 @@ -74,21 +74,13 @@
     1.4        actor { loop { react { case res => Console.println(res) } } }, args: _*)
     1.5  
     1.6  
     1.7 -  /* system log */
     1.8 -
     1.9 -  private val system_results = new mutable.ListBuffer[String]
    1.10 +  /* results */
    1.11  
    1.12    private def system_result(text: String)
    1.13    {
    1.14 -    synchronized { system_results += text }
    1.15      receiver ! new Result(XML.Elem(Markup(Markup.SYSTEM, Nil), List(XML.Text(text))))
    1.16    }
    1.17  
    1.18 -  def syslog(): List[String] = synchronized { system_results.toList }
    1.19 -
    1.20 -
    1.21 -  /* results */
    1.22 -
    1.23    private val xml_cache = new XML.Cache(131071)
    1.24  
    1.25    private def put_result(kind: String, props: List[(String, String)], body: XML.Body)