| Mon, 09 Apr 2012 20:42:05 +0200 | wenzelm | more explicit last exec result; | changeset | files |
| Mon, 09 Apr 2012 19:50:04 +0200 | wenzelm | dynamic propagation of node "updated" status, which is required to propagate edits and re-assigments and allow direct memo_result; | changeset | files |
| Mon, 09 Apr 2012 17:38:39 +0200 | wenzelm | tuned; | changeset | files |
| Mon, 09 Apr 2012 17:22:23 +0200 | wenzelm | simplified Future.cancel/cancel_group (again) -- running threads only; | changeset | files |
| Mon, 09 Apr 2012 15:10:52 +0200 | wenzelm | added ML pretty-printing; | changeset | files |
| Sat, 07 Apr 2012 20:35:01 +0200 | wenzelm | merged | changeset | files |