src/Pure/System/event_bus.scala
Sun, 29 Aug 2010 19:48:35 +0200 wenzelm session_actor: await state assigment of previous change before signalling current change, and avoid crash in overrun situations;
Sun, 15 Aug 2010 23:13:56 +0200 wenzelm event_bus.scala rather belongs to system plumbing;
less more (0) tip