isabelle: File revisions

src/Pure/Concurrent/time_limit.ML

Tue, 03 Nov 2015 13:54:34 +0100	wenzelm	clarified modules;	file \| diff \| annotate
Wed, 16 Sep 2015 20:38:06 +0200	wenzelm	tuned whitespace;	file \| diff \| annotate
Mon, 20 May 2013 17:10:33 +0200	wenzelm	tuned;	file \| diff \| annotate
Fri, 17 May 2013 23:31:02 +0200	wenzelm	back to more paranoid interrupt test after request is cancelled -- avoid race condition;	file \| diff \| annotate
Fri, 17 May 2013 17:45:51 +0200	wenzelm	modernized TimeLimit.timeLimit using Event_Timer service -- based on more elementary version 11ae688e4e30;	file \| diff \| annotate
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

isabelle