| Fri, 12 Nov 2010 11:36:01 +0100 | wenzelm | treat pervasive "Interrupt" constructor as illegal -- superseded by Exn.Interrupt for internal use and Exn.is_interrupt/Exn.interrupt in user-space; | file | diff | annotate |
| Thu, 28 Oct 2010 21:59:01 +0200 | wenzelm | added Exn.interruptible_capture, which reraises interrupts as required by user-code (when Exn.capture is not immediately followed by Exn.release); | file | diff | annotate |
| Thu, 16 Sep 2010 16:51:33 +0200 | haftmann | Exn.map_result | file | diff | annotate |
| Thu, 09 Sep 2010 17:38:45 +0200 | wenzelm | Exn.is_interrupt: include interrupts that have passed through the IO layer; | 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, 19 Dec 2009 16:02:26 +0100 | wenzelm | added basic library -- Scala version; | file | diff | annotate | base |