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 |