| Wed, 10 Sep 2008 19:44:28 +0200 | wenzelm | cancel: invalidate group implicitly, via bool ref; | changeset | files |
| Wed, 10 Sep 2008 11:36:37 +0200 | wenzelm | auto_flush: uniform block buffering for all output streams; | changeset | files |
| Tue, 09 Sep 2008 23:48:38 +0200 | wenzelm | auto_flush stdout, stderr as well; | changeset | files |
| Tue, 09 Sep 2008 23:48:36 +0200 | wenzelm | proper values of no_interrupts, regular_interrupts; | changeset | files |
| Tue, 09 Sep 2008 23:30:05 +0200 | wenzelm | cancel: check_scheduler; | changeset | files |
| Tue, 09 Sep 2008 23:30:00 +0200 | wenzelm | simplified dequeue: provide Thread.self internally; | changeset | files |