proper dynamic position of application context, e.g. relevant for 'global_interpretation';
Description
Description
Details
Details
- Provenance
makarius Authored on - Parents
- rISABELLE37eb175895c5: proper treatment of variable names;
- Branches
- Unknown
- Tags