| Tue, 18 Jan 2022 17:55:20 +0100 | desharna | added Mirabelle option -r to randomize the goals before selection | file | diff | annotate |
| Fri, 17 Dec 2021 09:51:37 +0100 | desharna | added support for initialization messages to Mirabelle | file | diff | annotate |
| Mon, 18 Oct 2021 11:15:59 +0200 | desharna | added Mirabelle action presburger | file | diff | annotate |
| Thu, 10 Jun 2021 11:21:57 +0200 | desharna | refactored Mirabelle to produce output in real time | file | diff | annotate |
| Sat, 15 May 2021 22:06:05 +0200 | wenzelm | reactive "sledgehammer"; | file | diff | annotate |
| Sat, 15 May 2021 17:40:36 +0200 | wenzelm | reactive "sledgehammer_filter": statically correct, but untested (no proof_file); | 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 |