isabelle: Changelog

wenzelm [Fri, 16 Sep 2022 15:45:40 +0200] rev 76174

update to jdk-17.0.4.1+1 from 22-Aug-2022 (https://docs.azul.com/core/zulu-openjdk/release-notes/11.58-17.36-august-2022);

wenzelm [Fri, 16 Sep 2022 15:07:33 +0200] rev 76173

clarified default, following 8b695e59db3f;

wenzelm [Fri, 16 Sep 2022 15:05:50 +0200] rev 76172

tuned signature;

wenzelm [Fri, 16 Sep 2022 15:03:08 +0200] rev 76171

tuned;

wenzelm [Fri, 16 Sep 2022 14:57:48 +0200] rev 76170

clarified modules;

wenzelm [Fri, 16 Sep 2022 14:26:42 +0200] rev 76169

discontinued pointless SSH.Target: OpenSSH client can handle user@host directly;

wenzelm [Fri, 16 Sep 2022 14:02:02 +0200] rev 76168

clarified options;

wenzelm [Fri, 16 Sep 2022 12:49:04 +0200] rev 76167

clarified options;

wenzelm [Thu, 15 Sep 2022 21:37:17 +0200] rev 76166

discontinued unclear timeout (stemming from jEdit JSch setup, see 14782d58a503), to make it work with native Windows ssh.exe;

wenzelm [Thu, 15 Sep 2022 21:33:46 +0200] rev 76165

proper time values in seconds;

isabelle