| Wed, 23 Apr 2014 17:05:48 +0200 | wenzelm | merged | changeset | files |
| Wed, 23 Apr 2014 15:57:06 +0200 | wenzelm | tuned; | changeset | files |
| Wed, 23 Apr 2014 15:22:48 +0200 | wenzelm | modernized Future/Promise implementation, bypassing old actors; | changeset | files |
| 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 |