isabelle: Changelog

wenzelm [Tue, 02 Nov 2021 15:40:02 +0100] rev 74657

updated to scala-2.13.7 --- problems with jline disappear after purging $HOME/.inputrc;

wenzelm [Tue, 02 Nov 2021 14:05:02 +0100] rev 74656

more robust "isabelle scala_project": Gradle has been replaced by Maven;

wenzelm [Mon, 01 Nov 2021 23:13:14 +0100] rev 74655

tuned;

wenzelm [Mon, 01 Nov 2021 22:37:22 +0100] rev 74654

support linux_arm as well, e.g. native Docker on Apple Silicon;

wenzelm [Mon, 01 Nov 2021 22:33:28 +0100] rev 74653

update paths at TUM;

wenzelm [Mon, 01 Nov 2021 16:07:03 +0100] rev 74652

Added tag Isabelle2021-1-RC1 for changeset 81cc8f2ea9e7

wenzelm [Mon, 01 Nov 2021 15:49:03 +0100] rev 74651

updated for release;

wenzelm [Mon, 01 Nov 2021 15:24:53 +0100] rev 74650

some reordering for release;

wenzelm [Mon, 01 Nov 2021 14:58:04 +0100] rev 74649

updated to jdk-17.0.1+12;

wenzelm [Mon, 01 Nov 2021 11:52:24 +0100] rev 74648

tuned message;

isabelle