| Sat, 01 Sep 2018 20:20:50 +0200 | wenzelm | more explicit status for "canceled" command within theory node; | changeset | files |
| Sat, 01 Sep 2018 18:39:36 +0200 | wenzelm | back to post-release mode; | changeset | files |
| Sat, 01 Sep 2018 17:16:36 +0200 | wenzelm | clarified message; | changeset | files |
| Sat, 01 Sep 2018 16:08:54 +0200 | wenzelm | more robust: memoize interrupt (e.g. resource problem) -- avoid multiple attempts; | changeset | files |
| Sat, 01 Sep 2018 14:25:03 +0200 | wenzelm | more robust eval_result: enforce finished result stemming from previous run_process, fail if that was interrupted (e.g. due to resource problems); | changeset | files |
| Sat, 01 Sep 2018 13:38:44 +0200 | wenzelm | tuned; | changeset | files |