discontinued Export.Provider in favour of Export.Context and its derivatives;
uniform treatment of all sessions, including Pure;
Description
Description
Details
Details
- Provenance
makarius Authored on - Parents
- rISABELLE11b2bf6f90d8: clarified signature: less redundant -- Sessions.Base_Info already specifies theā¦
- Branches
- Unknown
- Tags