src/Pure/System/event_bus.scala
Tue, 29 Nov 2011 21:29:53 +0100 wenzelm separate compilation of PIDE vs. Pure sources, which enables independent Scala library;
Mon, 28 Nov 2011 22:18:19 +0100 wenzelm explicit indication of modules for independent Scala library;
Fri, 25 Nov 2011 21:29:11 +0100 wenzelm explicit change_parser thread, which avoids undirected Future.fork with its tendency towards hundreds of worker threads;
Wed, 15 Jun 2011 21:30:15 +0200 wenzelm avoid compiler warning -- this is unchecked anyway;
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