| 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 |