| Tue, 21 Dec 2021 21:27:26 +0100 | wenzelm | more operations; | changeset | files |
| Tue, 21 Dec 2021 21:07:26 +0100 | wenzelm | clarified signature; | changeset | files |
| Tue, 21 Dec 2021 19:42:20 +0100 | wenzelm | tuned signature; | changeset | files |
| Tue, 21 Dec 2021 19:31:30 +0100 | wenzelm | support Gradle as alternative to Maven (again); | changeset | files |
| Mon, 20 Dec 2021 14:46:23 +0100 | desharna | tuned mirabelle command-line help message | changeset | files |
| Mon, 20 Dec 2021 08:40:28 +0100 | desharna | updated Mirabelle documentation | changeset | files |
| Mon, 20 Dec 2021 08:14:41 +0100 | desharna | proper documentation for induction_rules Sledgehammer option | changeset | files |