more formal Other_Isabelle.settings, with derived expand_path / bash_path;
Description
Description
Details
Details
- Provenance
makarius Authored on - Parents
- rISABELLE395a0701a125: clarified signature: minimal interface for getenv/expand_env, instead of bulky…
- Branches
- Unknown
- Tags