| 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 |
| Fri, 31 Aug 2018 22:25:58 +0200 | wenzelm | support multiple inheritance of ML environments, with canonical merge order as in Context.begin_theory; | changeset | files |
| Fri, 31 Aug 2018 16:17:30 +0200 | wenzelm | clarified signature: proper typargs; | changeset | files |
| Fri, 31 Aug 2018 15:57:21 +0200 | wenzelm | merged | changeset | files |