Sat, 22 Jan 2022 12:05:09 +0100 | desharna | tuned trivial check in mirabelle_sledgehammer | changeset | files |
Sat, 22 Jan 2022 11:46:25 +0100 | desharna | renamed run_action to run in Mirabelle.action record | changeset | files |
Sat, 22 Jan 2022 11:33:31 +0100 | desharna | added spying of fact filtering timing | changeset | files |