isabelle: File revisions

src/Pure/Concurrent/lazy.ML

Fri, 04 Feb 2011 16:29:47 +0100	wenzelm	Lazy.force_result: more standard treatment of interruptibility, potentially addressing races of exceptions vs. interrupts;	file \| diff \| annotate
Fri, 12 Nov 2010 10:58:09 +0100	wenzelm	Laze.force_result: more robust treatment of interrupts stemming from peer group cancellation;	file \| diff \| annotate
Sat, 06 Nov 2010 15:34:11 +0100	wenzelm	tuned comments;	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
Sat, 29 May 2010 15:52:47 +0200	wenzelm	force_result within the current execution context -- avoids overhead of potential thread context switch and robustifies Interrupt handling;	file \| diff \| annotate
Wed, 06 Jan 2010 13:14:28 +0100	wenzelm	do not memoize interrupts;	file \| diff \| annotate
Tue, 20 Oct 2009 19:28:01 +0200	wenzelm	removed unused map_force;	file \| diff \| annotate
Thu, 01 Oct 2009 18:10:41 +0200	wenzelm	separate concurrent/sequential versions of lazy evaluation;	file \| diff \| annotate \| base

isabelle