src/Pure/System/event_bus.scala
2010-08-15 wenzelm 2010-08-15 event_bus.scala rather belongs to system plumbing;