src/Pure/Concurrent/time_limit.ML
Wed, 10 Aug 2011 15:17:24 +0200 wenzelm more explicit Simple_Thread.interrupt_unsynchronized, to emphasize its meaning;
Tue, 08 Feb 2011 14:28:15 +0100 wenzelm always test/clear Multithreading.interrupted, indepently of thread attributes;
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);
Sat, 05 Feb 2011 18:09:57 +0100 wenzelm clarified bootstrapping of structure TimeLimit;
less more (0) tip