clarified status: started sessions may bomb without explicit FAILED or CANCELLED (cf. in afp-test-devel-2016-01-03.log);
Description
Description
Details
Details
- Provenance
makarius Authored on - Parents
- rISABELLE1c451e5c145f: clarified parse_build_info: isabelle build output;
- Branches
- Unknown
- Tags