Tue, 02 Nov 2021 15:40:02 +0100 updated to scala-2.13.7 --- problems with jline disappear after purging $HOME/.inputrc;
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;
Tue, 02 Nov 2021 14:05:02 +0100 more robust "isabelle scala_project": Gradle has been replaced by Maven;
wenzelm [Tue, 02 Nov 2021 14:05:02 +0100] rev 74656
more robust "isabelle scala_project": Gradle has been replaced by Maven;
Mon, 01 Nov 2021 23:13:14 +0100 tuned;
wenzelm [Mon, 01 Nov 2021 23:13:14 +0100] rev 74655
tuned;
Mon, 01 Nov 2021 22:37:22 +0100 support linux_arm as well, e.g. native Docker on Apple Silicon;
wenzelm [Mon, 01 Nov 2021 22:37:22 +0100] rev 74654
support linux_arm as well, e.g. native Docker on Apple Silicon;
Mon, 01 Nov 2021 22:33:28 +0100 update paths at TUM;
wenzelm [Mon, 01 Nov 2021 22:33:28 +0100] rev 74653
update paths at TUM;
Mon, 01 Nov 2021 16:07:03 +0100 Added tag Isabelle2021-1-RC1 for changeset 81cc8f2ea9e7
wenzelm [Mon, 01 Nov 2021 16:07:03 +0100] rev 74652
Added tag Isabelle2021-1-RC1 for changeset 81cc8f2ea9e7
Mon, 01 Nov 2021 15:49:03 +0100 updated for release;
wenzelm [Mon, 01 Nov 2021 15:49:03 +0100] rev 74651
updated for release;
Mon, 01 Nov 2021 15:24:53 +0100 some reordering for release;
wenzelm [Mon, 01 Nov 2021 15:24:53 +0100] rev 74650
some reordering for release;
Mon, 01 Nov 2021 14:58:04 +0100 updated to jdk-17.0.1+12;
wenzelm [Mon, 01 Nov 2021 14:58:04 +0100] rev 74649
updated to jdk-17.0.1+12;
Mon, 01 Nov 2021 11:52:24 +0100 tuned message;
wenzelm [Mon, 01 Nov 2021 11:52:24 +0100] rev 74648
tuned message;
(0) -30000 -10000 -3000 -1000 -300 -100 -10 +10 +100 +300 tip