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 |