discontinued adhoc change of environment (from 897f1ac84aab), following ssh c2e8ba15a10a;
Description
Description
Details
Details
- Provenance
makarius Authored on - Parents
- rISABELLE7e11e96a922d: more formal Other_Isabelle.settings, with derived expand_path / bash_path;
- Branches
- Unknown
- Tags