| Wed, 10 Aug 2011 15:17:24 +0200 | wenzelm | more explicit Simple_Thread.interrupt_unsynchronized, to emphasize its meaning; | file | diff | annotate |
| Tue, 08 Feb 2011 14:28:15 +0100 | wenzelm | always test/clear Multithreading.interrupted, indepently of thread attributes; | file | diff | annotate |
| Mon, 07 Feb 2011 23:57:03 +0100 | wenzelm | more robust TimeLimit: make double sure that watchdog has terminated and interrupts received during uninterruptible state are propagated (NB: Thread.testInterrupt requires InterruptSynch in Poly/ML 5.4.0 or earlier); | file | diff | annotate |
| Sat, 05 Feb 2011 18:09:57 +0100 | wenzelm | clarified bootstrapping of structure TimeLimit; | file | diff | annotate |