isabelle: File revisions

src/Pure/Concurrent/task_queue.ML

Tue, 01 Feb 2011 21:05:22 +0100	wenzelm	refined task timing: joining vs. waiting;	file \| diff \| annotate
Mon, 31 Jan 2011 23:21:43 +0100	wenzelm	name "passive" tasks (practically lazy values);	file \| diff \| annotate
Mon, 31 Jan 2011 22:57:01 +0100	wenzelm	support named tasks, for improved tracing;	file \| diff \| annotate
Mon, 31 Jan 2011 16:34:10 +0100	wenzelm	added basic task timing;	file \| diff \| annotate
Tue, 09 Nov 2010 21:52:05 +0100	wenzelm	private counter, to keep externalized ids a bit smaller;	file \| diff \| annotate
Fri, 10 Sep 2010 14:54:08 +0200	wenzelm	Future.promise: more robust treatment of concurrent abort vs. fulfill (amending 047c96f41455);	file \| diff \| annotate
Thu, 09 Sep 2010 17:20:27 +0200	wenzelm	more abstract treatment of interrupts in structure Exn -- hardly ever need to mention Interrupt literally;	file \| diff \| annotate
Tue, 20 Jul 2010 17:35:42 +0200	wenzelm	back to more strict dependencies, even for canceled groups (reverting parts of 02936e77a07c);	file \| diff \| annotate

isabelle