src/Pure/Concurrent/time_limit.ML
Mon, 20 May 2013 17:10:33 +0200 wenzelm tuned;
Fri, 17 May 2013 23:31:02 +0200 wenzelm back to more paranoid interrupt test after request is cancelled -- avoid race condition;
Fri, 17 May 2013 17:45:51 +0200 wenzelm modernized TimeLimit.timeLimit using Event_Timer service -- based on more elementary version 11ae688e4e30;
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