desharna [Fri, 02 Oct 2020 10:18:50 +0200] rev 72588
Add more tacing to sledgehammer_isar_trace
wenzelm [Thu, 01 Oct 2020 17:21:47 +0200] rev 72587
support arm64-linux Poly/ML (slow bytecode interpreter only);
wenzelm [Thu, 01 Oct 2020 17:21:12 +0200] rev 72586
purge arm64-linux --- no build_release support yet;
wenzelm [Thu, 01 Oct 2020 16:31:22 +0200] rev 72585
more systematic platform support, including arm64-linux;
wenzelm [Thu, 01 Oct 2020 15:56:34 +0200] rev 72584
tuned according to hints by IntelliJ IDEA;
wenzelm [Wed, 30 Sep 2020 23:37:07 +0200] rev 72583
updated certificates to make it work again after recent changes to smt/z3 setup;
wenzelm [Wed, 30 Sep 2020 23:31:18 +0200] rev 72582
clarified signature;
wenzelm [Wed, 30 Sep 2020 23:08:57 +0200] rev 72581
merged
wenzelm [Wed, 30 Sep 2020 22:59:33 +0200] rev 72580
updated to sqlite-jdbc-3.32.3.2;
support arm64-linux;
wenzelm [Wed, 30 Sep 2020 22:55:35 +0200] rev 72579
build Isabelle sqlite-jdbc component from official download;
support arm64-linux;