| Fri, 12 Aug 2022 15:35:07 +0200 | blanchet | added support for cvc5 (whose interface is almost identical to CVC4) | file | diff | annotate |
| Thu, 12 Nov 2020 16:44:29 +0100 | desharna | Tuned documentation | file | diff | annotate |
| Sat, 21 Mar 2020 15:51:05 +0100 | wenzelm | tuned bib; | file | diff | annotate |
| Thu, 09 May 2019 14:22:25 +0200 | wenzelm | misc tuning; | file | diff | annotate |
| Thu, 15 Nov 2018 21:44:25 +0100 | wenzelm | proper citation (amending d8205bb279a7); | file | diff | annotate |
| Wed, 18 Jul 2018 16:44:01 +0200 | wenzelm | prefer HTTPS; | file | diff | annotate |
| Tue, 26 Jun 2018 11:11:05 +0200 | wenzelm | add URL; | file | diff | annotate |
| Mon, 12 Feb 2018 14:13:54 +0100 | Lars Hupel | corrected some URLs | file | diff | annotate |
| Sun, 11 Feb 2018 18:09:17 +0100 | Lars Hupel | use preferred resolver according to DOI Handbook ยง3.8 | file | diff | annotate |
| Thu, 28 Dec 2017 12:06:54 +0100 | wenzelm | more accurate bibtex entries; | file | diff | annotate |
| Sun, 24 Dec 2017 14:46:26 +0100 | wenzelm | fewer warnings; | file | diff | annotate |
| Wed, 20 Dec 2017 18:51:13 +0100 | wenzelm | updated URL; | file | diff | annotate |
| Tue, 07 Nov 2017 15:16:41 +0100 | blanchet | integrated Leo-III in Sledgehammer (thanks to Alexander Steen for the patch) | file | diff | annotate |
| Tue, 01 Aug 2017 20:38:39 +0200 | haftmann | tuned references | file | diff | annotate |
| Mon, 24 Oct 2016 20:58:07 +0200 | blanchet | tuned documentation | file | diff | annotate |