| Tue, 08 Feb 2011 14:09:24 +0100 | wenzelm | added Multithreading.interrupted (cf. java.lang.Thread.interrupted); | changeset | files |
| 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); | changeset | files |
| Sat, 05 Feb 2011 20:38:32 +0100 | wenzelm | more tracing information via Par_List.map_name; | changeset | files |