Thu, 24 Apr 2014 10:33:06 +0200 |
wenzelm |
retain canonical reverse order;
|
file |
diff |
annotate
|
Thu, 24 Apr 2014 10:30:55 +0200 |
wenzelm |
more canonical list operations;
|
file |
diff |
annotate
|
Thu, 24 Apr 2014 10:24:44 +0200 |
wenzelm |
tuned signature in accordance to ML version;
|
file |
diff |
annotate
|
Thu, 24 Apr 2014 00:29:55 +0200 |
wenzelm |
canonical list operations, as in ML;
|
file |
diff |
annotate
|
Thu, 20 Feb 2014 14:36:17 +0100 |
wenzelm |
tuned imports;
|
file |
diff |
annotate
|
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
|