src/Pure/Concurrent/mailbox.ML
2009-01-19 wenzelm 2009-01-19 removed Ids;
2008-10-14 wenzelm 2008-10-14 simplified synchronized variable access; tuned;
2008-10-13 wenzelm 2008-10-13 simplified implementation using Synchronized.var;
2008-10-01 wenzelm 2008-10-01 more robust treatment of Interrupt (cf. exn.ML);
2008-09-08 wenzelm 2008-09-08 send: broadcast condition while locked!
2008-09-08 wenzelm 2008-09-08 tuned Mailbox.send;
2008-09-07 wenzelm 2008-09-07 tuned;
2008-09-07 wenzelm 2008-09-07 send: broadcast to all waiting threads;
2008-09-04 wenzelm 2008-09-04 proper header;
2008-09-04 wenzelm 2008-09-04 added receive_timeout; tuned comments;
2008-09-04 wenzelm 2008-09-04 Concurrent message exchange via mailbox -- with unbounded queueing.