| Mon, 31 Jan 2011 22:57:01 +0100 | wenzelm | support named tasks, for improved tracing; | file | diff | annotate |
| Mon, 31 Jan 2011 16:34:10 +0100 | wenzelm | added basic task timing; | file | diff | annotate |
| Tue, 09 Nov 2010 21:52:05 +0100 | wenzelm | private counter, to keep externalized ids a bit smaller; | file | diff | annotate |
| Fri, 10 Sep 2010 14:54:08 +0200 | wenzelm | Future.promise: more robust treatment of concurrent abort vs. fulfill (amending 047c96f41455); | file | diff | annotate |
| Thu, 09 Sep 2010 17:20:27 +0200 | wenzelm | more abstract treatment of interrupts in structure Exn -- hardly ever need to mention Interrupt literally; | file | diff | annotate |
| Tue, 20 Jul 2010 17:35:42 +0200 | wenzelm | back to more strict dependencies, even for canceled groups (reverting parts of 02936e77a07c); | file | diff | annotate |
| Mon, 31 May 2010 21:06:57 +0200 | wenzelm | modernized some structure names, keeping a few legacy aliases; | file | diff | annotate |