Tue, 24 Jan 2023 23:05:32 +0100 | wenzelm | clarified defaults: imitate "isabelle components -I" without further parameters; | changeset | files |
Tue, 24 Jan 2023 22:48:28 +0100 | wenzelm | tuned; | changeset | files |
Tue, 24 Jan 2023 22:37:41 +0100 | wenzelm | merged | changeset | files |
Tue, 24 Jan 2023 21:27:10 +0100 | wenzelm | more robust locations (amending 7e11e96a922d) --- notably for cleanup() in build_release, after Admin/ been deleted; | changeset | files |
Tue, 24 Jan 2023 20:48:28 +0100 | wenzelm | tuned; | changeset | files |
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 |