| Fri, 13 Nov 2020 09:47:59 +0100 | desharna | Add support for CVC4 1.8 to Sledgehammer | changeset | files |
| Fri, 20 Nov 2020 12:00:08 +0100 | wenzelm | proper meta_digest: avoid non-portable position information; | changeset | files |
| Thu, 19 Nov 2020 22:05:34 +0100 | wenzelm | clarified messages; | changeset | files |