| Mon, 20 Sep 2021 14:24:11 +0200 | desharna | added offset to Mirabelle's tptp output names | file | diff | annotate |
| Wed, 28 Jul 2021 19:17:31 +0200 | desharna | changed Mirabelle_Sledgehammer keep option from path to boolean | file | diff | annotate |
| Fri, 11 Jun 2021 09:33:43 +0200 | desharna | tuned Mirabelle | file | diff | annotate |
| Thu, 10 Jun 2021 11:21:57 +0200 | desharna | refactored Mirabelle to produce output in real time | file | diff | annotate |
| Fri, 04 Jun 2021 23:03:12 +0200 | desharna | moved stride option from sledgehammer action to main mirabelle | file | diff | annotate |
| Sat, 15 May 2021 22:06:05 +0200 | wenzelm | reactive "sledgehammer"; | file | diff | annotate |
| Fri, 14 May 2021 21:32:11 +0200 | wenzelm | reimplemented Mirabelle as Isabelle/ML presentation hook + Isabelle/Scala tool, but sledgehammer is still inactive; | file | diff | annotate | base |