| Mon, 29 Jul 2013 13:24:15 +0200 | wenzelm | discontinued notion of "stable" result -- running execution is never canceled; | changeset | files |
| Mon, 29 Jul 2013 13:00:36 +0200 | wenzelm | obsolete; | changeset | files |
| Mon, 29 Jul 2013 12:50:16 +0200 | wenzelm | support declarative editor_execution_range, instead of old-style check/cancel buttons; | changeset | files |