isabelle: File revisions

src/Pure/Concurrent/task_queue.ML

Sun, 21 Aug 2011 13:10:48 +0200	wenzelm	refined Task_Queue.cancel: passive tasks are considered running due to pending abort operation;	file \| diff \| annotate
Sat, 20 Aug 2011 23:35:30 +0200	wenzelm	refined Graph implementation: more abstract/scalable Graph.Keys instead of plain lists -- order of adjacency is now standardized wrt. Key.ord;	file \| diff \| annotate
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

isabelle