| Thu, 24 Oct 2024 11:37:41 +0200 | Fabian Huch | try0: pass tagged thms for better control; | file | diff | annotate |
| Tue, 22 Oct 2024 17:31:54 +0200 | Fabian Huch | clarified: proper return type; | file | diff | annotate |
| Sat, 17 Sep 2022 16:50:39 +0200 | wenzelm | proper file headers; | file | diff | annotate |
| Sat, 22 Jan 2022 11:46:25 +0100 | desharna | renamed run_action to run in Mirabelle.action record | file | diff | annotate |
| Fri, 17 Dec 2021 09:51:37 +0100 | desharna | added support for initialization messages to 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, 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 |