eliminated Document.execution frontier (again, see 627fb639a2d9): just run into older execution, potentially stalling worker thread, but without global delay due to long-running tasks (notably sledgehammer);
clarified Command.run_process etc.: join running eval, bypass running print;
eliminated Command.memo in favour of regular Lazy.lazy;
more Lazy.lazy status information;
Description
Description
Details
Details
- Provenance
makarius Authored on - Parents
- rISABELLEa1d6d6db781b: modernized historic example;
- Branches
- Unknown
- Tags