| Fri, 15 Oct 2021 14:18:11 +0200 | wenzelm | tuned; | changeset | files |
| Fri, 15 Oct 2021 13:41:15 +0200 | wenzelm | tuned; | changeset | files |
| Fri, 15 Oct 2021 12:55:21 +0200 | wenzelm | tuned; | changeset | files |
| Fri, 15 Oct 2021 11:42:36 +0200 | wenzelm | spelling; | changeset | files |
| Fri, 15 Oct 2021 01:44:52 +0200 | wenzelm | clarified context; | changeset | files |
| Thu, 14 Oct 2021 16:03:20 +0200 | wenzelm | clarified signature; | changeset | files |
| Thu, 14 Oct 2021 16:56:02 +0200 | desharna | tuned Vampire configuration to use TFX in Sledgehammer | changeset | files |