| Wed, 29 Sep 2021 16:48:23 +0200 | desharna | tuned atp_prover sliding | changeset | files |
| Wed, 29 Sep 2021 16:47:53 +0200 | desharna | tuned Zipperposition slides in sledgehammer | changeset | files |
| Wed, 06 Oct 2021 21:37:59 +0200 | wenzelm | include arm64-linux; | changeset | files |
| Wed, 06 Oct 2021 21:18:00 +0200 | wenzelm | updated to Vampire 4.6, as proposed by Martin Desharnais; | changeset | files |
| Wed, 06 Oct 2021 20:26:08 +0200 | wenzelm | build from official downloads; | changeset | files |
| Wed, 06 Oct 2021 13:28:11 +0200 | wenzelm | build just one vampire version; | changeset | files |
| Wed, 06 Oct 2021 10:58:05 +0200 | wenzelm | clarified signature; | changeset | files |
| Tue, 05 Oct 2021 15:44:10 +0200 | wenzelm | maintain previous theory identifier to support semantic caching, notably in Isabelle/Naproche; | changeset | files |