Wed, 10 Aug 2011 16:26:05 +0200 | wenzelm | tuned signature; | changeset | files |
Wed, 10 Aug 2011 16:24:39 +0200 | wenzelm | Goal.forked: clarified handling of interrupts; | changeset | files |
Wed, 10 Aug 2011 16:05:14 +0200 | wenzelm | future_job: explicit indication of interrupts; | changeset | files |
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 |
Wed, 10 Aug 2011 10:59:37 +0200 | wenzelm | bash_output_fifo blocks on Cygwin 1.7.x; | changeset | files |