| Mon, 29 Jul 2013 15:09:20 +0200 | wenzelm | pro-forma Goal.reset_futures, despite lack of final join/commit; | changeset | files |
| Mon, 29 Jul 2013 15:01:44 +0200 | wenzelm | tuned; | changeset | files |
| Mon, 29 Jul 2013 14:49:32 +0200 | wenzelm | tuned; | changeset | files |
| Mon, 29 Jul 2013 14:43:21 +0200 | wenzelm | back to model.update_perspective with delay (cf. a20631db9c8a); | changeset | files |
| Mon, 29 Jul 2013 14:37:59 +0200 | wenzelm | show displaced messages (e.g. from protocol thread) as raw output; | changeset | files |
| Mon, 29 Jul 2013 14:18:57 +0200 | wenzelm | actually purge removed goal futures -- avoid memory leak; | changeset | files |