isabelle: Changelog

wenzelm [Tue, 24 Jan 2023 17:16:00 +0100] rev 77075

removed unused user_home argument (see also 897f1ac84aab and 19b6091c2137);

wenzelm [Tue, 24 Jan 2023 16:08:28 +0100] rev 77074

tuned;

wenzelm [Tue, 24 Jan 2023 15:53:13 +0100] rev 77073

more robust: self-contained Other_Isabelle.isabelle_home;

wenzelm [Tue, 24 Jan 2023 15:16:24 +0100] rev 77072

more robust and uniform Other_Isabelle.scala_build;

wenzelm [Tue, 24 Jan 2023 15:00:01 +0100] rev 77071

tuned;

wenzelm [Tue, 24 Jan 2023 14:55:19 +0100] rev 77070

tuned message;

wenzelm [Tue, 24 Jan 2023 14:46:51 +0100] rev 77069

more robust (see also 7f55a3e28c88): resolve components from current Isabelle context, using Isabelle/Scala instead of shell scripts;

wenzelm [Tue, 24 Jan 2023 11:36:15 +0100] rev 77068

more strict;

wenzelm [Tue, 24 Jan 2023 11:34:39 +0100] rev 77067

tuned signature;

wenzelm [Tue, 24 Jan 2023 11:30:56 +0100] rev 77066

proper ssh.bash_path;

isabelle