| Fri, 02 Oct 2020 17:03:34 +0100 | paulson | fixed a bunch of ugly proofs | changeset | files |
| Fri, 02 Oct 2020 10:18:50 +0200 | desharna | Add more tacing to sledgehammer_isar_trace | changeset | files |
| Thu, 01 Oct 2020 17:21:47 +0200 | wenzelm | support arm64-linux Poly/ML (slow bytecode interpreter only); | changeset | files |
| Thu, 01 Oct 2020 17:21:12 +0200 | wenzelm | purge arm64-linux --- no build_release support yet; | changeset | files |
| Thu, 01 Oct 2020 16:31:22 +0200 | wenzelm | more systematic platform support, including arm64-linux; | changeset | files |
| Thu, 01 Oct 2020 15:56:34 +0200 | wenzelm | tuned according to hints by IntelliJ IDEA; | changeset | files |
| Wed, 30 Sep 2020 23:37:07 +0200 | wenzelm | updated certificates to make it work again after recent changes to smt/z3 setup; | changeset | files |