| 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 |
| Wed, 23 Apr 2014 11:40:42 +0200 | wenzelm | avoid accidental use of scala.language.reflectiveCalls; | changeset | files |