| 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 |
| Mon, 29 Jul 2013 13:43:43 +0200 | wenzelm | tuned -- less redundant data structure; | changeset | files |
| Mon, 29 Jul 2013 13:43:12 +0200 | wenzelm | always init GUI state; | changeset | files |
| Mon, 29 Jul 2013 13:28:27 +0200 | wenzelm | tuned signature; | changeset | files |
| Mon, 29 Jul 2013 13:24:15 +0200 | wenzelm | discontinued notion of "stable" result -- running execution is never canceled; | changeset | files |