desharna [Fri, 29 Oct 2021 12:37:05 +0200] rev 74662
do not declare $let-bound variables in TPTP output
wenzelm [Wed, 03 Nov 2021 00:42:05 +0100] rev 74661
IDE build actually works (but somewhat pointless);
wenzelm [Wed, 03 Nov 2021 00:38:13 +0100] rev 74660
suppress sources from jEdit/test, which prevent regular build of the generated scala_project;
wenzelm [Wed, 03 Nov 2021 00:11:12 +0100] rev 74659
removed junk;
wenzelm [Tue, 02 Nov 2021 16:01:25 +0100] rev 74658
improve pagebreaks by *not* using supertabular too much;
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;