1.1 --- a/src/Pure/library.scala	Mon Aug 23 15:11:41 2010 +0200
     1.2 +++ b/src/Pure/library.scala	Mon Aug 23 16:07:18 2010 +0200
     1.3 @@ -7,11 +7,10 @@
     1.4  package isabelle
     1.5  
     1.6  
     1.7 -import java.lang.{System, Thread}
     1.8 +import java.lang.System
     1.9  import java.awt.Component
    1.10  import javax.swing.JOptionPane
    1.11  
    1.12 -import scala.actors.Actor
    1.13  import scala.swing.ComboBox
    1.14  import scala.swing.event.SelectionChanged
    1.15  
    1.16 @@ -139,15 +138,4 @@
    1.17          ((stop - start).toDouble / 1000000) + "ms elapsed time")
    1.18      Exn.release(result)
    1.19    }
    1.20 -
    1.21 -
    1.22 -  /* thread as actor */
    1.23 -
    1.24 -  def thread_actor(name: String)(body: => Unit): Actor =
    1.25 -  {
    1.26 -    val actor = Future.promise[Actor]
    1.27 -    val thread = new Thread(name) { override def run() = { actor.fulfill(Actor.self); body } }
    1.28 -    thread.start
    1.29 -    actor.join
    1.30 -  }
    1.31  }