| Tue, 24 Jan 2023 20:43:55 +0100 | wenzelm | clarified defaults (see also b310b93563f6); | changeset | files |
| Tue, 24 Jan 2023 20:39:11 +0100 | wenzelm | tuned comments; | changeset | files |
| Tue, 24 Jan 2023 20:05:23 +0100 | wenzelm | discontinued adhoc change of environment (from 897f1ac84aab), following ssh c2e8ba15a10a; | changeset | files |
| Tue, 24 Jan 2023 19:55:33 +0100 | wenzelm | more formal Other_Isabelle.settings, with derived expand_path / bash_path; | changeset | files |
| Tue, 24 Jan 2023 18:56:33 +0100 | wenzelm | clarified signature: minimal interface for getenv/expand_env, instead of bulky java.util.Map; | changeset | files |
| Tue, 24 Jan 2023 18:26:20 +0100 | wenzelm | tuned; | changeset | files |