isabelle: Changelog

wenzelm [Fri, 16 Sep 2022 23:44:26 +0200] rev 76179

include ssh + rsync as required for Isabelle tools, e.g. "isabelle sync";

wenzelm [Fri, 16 Sep 2022 22:33:14 +0200] rev 76178

more robust: snap version of docker cannot access /tmp;

wenzelm [Fri, 16 Sep 2022 20:54:56 +0200] rev 76177

tuned signature;

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;

isabelle