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 |
Tue, 05 Oct 2021 12:09:15 +0200 | wenzelm | more exports, notably for Isabelle/Naproche; | changeset | files |