src/Pure/General/event_bus.scala
Mon, 07 Sep 2009 22:12:16 +0200 wenzelm modernized Event_Bus -- based on actors;
Mon, 29 Dec 2008 18:27:33 +0100 wenzelm optional exception logging;
Mon, 29 Dec 2008 15:13:53 +0100 wenzelm added methods "+" and "-";
Mon, 29 Dec 2008 13:57:37 +0100 wenzelm Generic event bus.
less more (0) tip