clarified session name: treat PIDE session as Sessions.DRAFT with imports from other sessions;
Description
Description
Details
Details
- Provenance
makarius Authored on - Parents
- rISABELLEf8be63d2ec6f: more robust build_hierarchy: support Resources.empty / Sessions.Structure.empty…
- Branches
- Unknown
- Tags