isabelle: Changelog

wenzelm [Tue, 24 Jan 2023 22:48:28 +0100] rev 77087

tuned;

wenzelm [Tue, 24 Jan 2023 22:37:41 +0100] rev 77086

merged

wenzelm [Tue, 24 Jan 2023 21:27:10 +0100] rev 77085

more robust locations (amending 7e11e96a922d) --- notably for cleanup() in build_release, after Admin/ been deleted;

wenzelm [Tue, 24 Jan 2023 20:48:28 +0100] rev 77084

tuned;

wenzelm [Tue, 24 Jan 2023 20:43:55 +0100] rev 77083

clarified defaults (see also b310b93563f6);

wenzelm [Tue, 24 Jan 2023 20:39:11 +0100] rev 77082

tuned comments;

wenzelm [Tue, 24 Jan 2023 20:05:23 +0100] rev 77081

discontinued adhoc change of environment (from 897f1ac84aab), following ssh c2e8ba15a10a;

wenzelm [Tue, 24 Jan 2023 19:55:33 +0100] rev 77080

more formal Other_Isabelle.settings, with derived expand_path / bash_path;

wenzelm [Tue, 24 Jan 2023 18:56:33 +0100] rev 77079

clarified signature: minimal interface for getenv/expand_env, instead of bulky java.util.Map;

wenzelm [Tue, 24 Jan 2023 18:26:20 +0100] rev 77078

tuned;

isabelle