| Tue, 01 Feb 2022 12:48:33 +0100 | blanchet | careful with partial applications | file | diff | annotate |
| Tue, 01 Feb 2022 11:51:41 +0100 | blanchet | handle TPTP '!=' more gracefully in Isar proof reconstruction | file | diff | annotate |
| Tue, 28 Sep 2021 22:08:51 +0200 | wenzelm | clarified antiquotations; | file | diff | annotate |
| Mon, 19 Jul 2021 14:47:53 +0200 | blanchet | tuning | file | diff | annotate |
| Thu, 17 Dec 2020 15:31:31 +0100 | desharna | tweaked tptp parsing when source info is missing | file | diff | annotate |
| Thu, 08 Oct 2020 17:46:03 +0200 | blanchet | removed obsolete unmaintained experimental prover Pirate | file | diff | annotate |
| Fri, 25 Oct 2019 15:59:25 +0200 | blanchet | added support for Zipperposition on SystemOnTPTP | file | diff | annotate |