src/Pure/Concurrent/consumer_thread.scala
Thu, 24 Apr 2014 16:19:11 +0200 wenzelm support for requests with explicit acknowledgment (and exception propagation);
Thu, 24 Apr 2014 15:19:11 +0200 wenzelm more robust thread: continue after failure;
Thu, 24 Apr 2014 14:51:41 +0200 wenzelm allow more control of main loop;
less more (0) -3 tip