more robust: active consumer for check_state/check_progress;
Description
Description
Details
Details
- Provenance
makarius Authored on - Parents
- rISABELLEc5c747ce46d2: proper update of non-committed theories (see also 2bf1d0e57695, 2a1583baaaa0);
- Branches
- Unknown
- Tags