| Thu, 25 Sep 2008 14:37:32 +0200 | wenzelm | tuned comments; | file | diff | annotate |
| Thu, 25 Sep 2008 14:35:03 +0200 | wenzelm | added release_results; | file | diff | annotate |
| Fri, 19 Sep 2008 21:22:31 +0200 | wenzelm | future tasks: support boolean priorities (true = high, false = low/irrelevant); | file | diff | annotate |
| Thu, 11 Sep 2008 13:24:14 +0200 | wenzelm | Parallel list combinators. | file | diff | annotate |