isabelle: File revisions

src/Pure/Concurrent/task_queue.ML

Fri, 19 Aug 2011 15:56:26 +0200	wenzelm	refined Future.cancel: explicit future allows to join actual cancellation;	file \| diff \| annotate
Wed, 17 Aug 2011 22:14:22 +0200	wenzelm	more systematic handling of parallel exceptions;	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
Sat, 23 Jul 2011 21:29:56 +0200	wenzelm	more detailed tracing;	file \| diff \| annotate
Wed, 13 Jul 2011 16:42:14 +0200	wenzelm	Table.lookup_key and Graph.get_entry allow to retrieve the original key, which is not necessarily identical to the given one;	file \| diff \| annotate
Fri, 04 Feb 2011 21:52:36 +0100	wenzelm	more scalable collections of tasks, notably for totality of known group members;	file \| diff \| annotate
Fri, 04 Feb 2011 20:40:25 +0100	wenzelm	tuned signature;	file \| diff \| annotate
Fri, 04 Feb 2011 16:33:12 +0100	wenzelm	Task_Queue.update_timing: more precise treatment of interruptibility;	file \| diff \| annotate

isabelle