Tue, 29 Nov 2011 21:29:53 +0100 | wenzelm | separate compilation of PIDE vs. Pure sources, which enables independent Scala library; | file | diff | annotate |
Mon, 28 Nov 2011 22:18:19 +0100 | wenzelm | explicit indication of modules for independent Scala library; | file | diff | annotate |
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; | file | diff | annotate |
Wed, 15 Jun 2011 21:30:15 +0200 | wenzelm | avoid compiler warning -- this is unchecked anyway; | file | diff | annotate |
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; | file | diff | annotate |
Sun, 15 Aug 2010 23:13:56 +0200 | wenzelm | event_bus.scala rather belongs to system plumbing; | file | diff | annotate | base |