| Fri, 25 Oct 2024 15:31:58 +0200 | blanchet | variable instantiation in Sledgehammer and Metis | file | diff | annotate |
| Wed, 26 Jan 2022 14:05:36 +0100 | blanchet | treat 'using X by meson' as 'by (meson X)' to avoid loss of polymorphism (cf. metis) | file | diff | annotate |
| Tue, 27 Jul 2021 10:36:22 +0200 | desharna | added support for TFX $let to Sledgehammer's TPTP output | file | diff | annotate |
| Thu, 22 Jul 2021 13:07:09 +0200 | desharna | added simp_options to meson | file | diff | annotate |
| Wed, 06 Dec 2017 20:43:09 +0100 | wenzelm | prefer control symbol antiquotations; | file | diff | annotate |
| Wed, 29 Oct 2014 13:57:20 +0100 | wenzelm | modernized setup; | file | diff | annotate |
| Tue, 15 Nov 2011 22:13:39 +0100 | blanchet | started implementing lambda-lifting in Metis | file | diff | annotate |
| Fri, 13 May 2011 22:55:00 +0200 | wenzelm | proper Proof.context for classical tactics; | file | diff | annotate |
| Tue, 05 Oct 2010 10:28:11 +0200 | blanchet | factor out "Meson_Tactic" from "Meson_Clausify" | file | diff | annotate |