more robust build_hierarchy: support Resources.empty / Sessions.Structure.empty (required for Build_Job.print_log);
removed unused imports_hierarchy;
Description
Description
Details
Details
- Provenance
makarius Authored on - Parents
- rISABELLE0cdccd0d1699: clarified context for retrieval: more explicit types, with optional close()…
- Branches
- Unknown
- Tags