src/Pure/System/event_bus.scala
2011-11-29 wenzelm 2011-11-29 separate compilation of PIDE vs. Pure sources, which enables independent Scala library;
2011-11-28 wenzelm 2011-11-28 explicit indication of modules for independent Scala library;
2011-11-25 wenzelm 2011-11-25 explicit change_parser thread, which avoids undirected Future.fork with its tendency towards hundreds of worker threads;
2011-06-15 wenzelm 2011-06-15 avoid compiler warning -- this is unchecked anyway;
2010-08-29 wenzelm 2010-08-29 session_actor: await state assigment of previous change before signalling current change, and avoid crash in overrun situations;
2010-08-15 wenzelm 2010-08-15 event_bus.scala rather belongs to system plumbing;