src/Pure/Concurrent/simple_thread.scala
Thu, 11 Dec 2014 23:31:30 +0100 wenzelm added Par_List in Scala, in accordance to ML version;
Mon, 05 May 2014 09:24:34 +0200 wenzelm tuned signature;
Mon, 28 Apr 2014 14:41:49 +0200 wenzelm mane delayed events outside of Swing thread -- triggers no longer require Swing_Thread.later;
Fri, 25 Apr 2014 21:31:39 +0200 wenzelm tuned signature -- separate pool for JFuture tasks, which can be canceled;
Thu, 24 Apr 2014 22:20:36 +0200 wenzelm obsolete;
Thu, 24 Apr 2014 16:52:17 +0200 wenzelm simplified -- prefer Consumer_Thread over Actor;
Wed, 23 Apr 2014 12:39:23 +0200 wenzelm more abstract Exn.Interrupt and POSIX return code;
less more (0) -10 -7 tip