| Wed, 23 Apr 2014 14:16:08 +0200 | wenzelm | updated according to scala-2.11.0 recommendations; | changeset | files |
| Wed, 23 Apr 2014 13:28:32 +0200 | wenzelm | explicit Exn.error_message in accordance to Output.error_message in ML; | changeset | files |
| 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 |
| Wed, 23 Apr 2014 11:40:42 +0200 | wenzelm | avoid accidental use of scala.language.reflectiveCalls; | changeset | files |