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 |