isabelle: Changelog

wenzelm [Fri, 16 Sep 2022 16:34:45 +0200] rev 76176

update to scala-3.2.0; enforce rebuild of Isabelle/ML + Isabelle/Scala;

wenzelm [Fri, 16 Sep 2022 16:02:28 +0200] rev 76175

avoid crash of JLine on Windows;

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;

isabelle