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)