| Wed, 23 Apr 2014 13:05:11 +0200 | wenzelm | detect nested interrupts; | changeset | files |
| Wed, 23 Apr 2014 12:55:57 +0200 | wenzelm | clarified message and return code, in accordance to ML version; | changeset | files |
| Wed, 23 Apr 2014 12:51:55 +0200 | wenzelm | interruptible dependencies, which can take a few seconds; | changeset | files |
| Wed, 23 Apr 2014 12:39:23 +0200 | wenzelm | more abstract Exn.Interrupt and POSIX return code; | changeset | files |