| Wed, 10 Aug 2011 15:17:24 +0200 | wenzelm | more explicit Simple_Thread.interrupt_unsynchronized, to emphasize its meaning; | changeset | files |
| Wed, 10 Aug 2011 14:28:55 +0200 | wenzelm | synchronized cancel and flushing of Multithreading.interrupted state, to ensure that interrupts stay within task boundaries; | changeset | files |
| Wed, 10 Aug 2011 14:04:45 +0200 | wenzelm | tuned source structure; | changeset | files |