| Wed, 01 Oct 2008 12:00:02 +0200 | wenzelm | more robust treatment of Interrupt (cf. exn.ML); | file | diff | annotate |
| Mon, 08 Sep 2008 22:14:39 +0200 | wenzelm | send: broadcast condition while locked! | file | diff | annotate |
| Mon, 08 Sep 2008 20:35:38 +0200 | wenzelm | tuned Mailbox.send; | file | diff | annotate |
| Sun, 07 Sep 2008 22:19:58 +0200 | wenzelm | tuned; | file | diff | annotate |
| Sun, 07 Sep 2008 17:46:38 +0200 | wenzelm | send: broadcast to all waiting threads; | file | diff | annotate |
| Thu, 04 Sep 2008 21:12:06 +0200 | wenzelm | proper header; | file | diff | annotate |
| Thu, 04 Sep 2008 21:02:42 +0200 | wenzelm | added receive_timeout; | file | diff | annotate |
| Thu, 04 Sep 2008 19:45:13 +0200 | wenzelm | Concurrent message exchange via mailbox -- with unbounded queueing. | file | diff | annotate |