| Sat, 15 May 2021 22:06:05 +0200 | wenzelm | reactive "sledgehammer"; | changeset | files |
| Sat, 15 May 2021 17:40:36 +0200 | wenzelm | reactive "sledgehammer_filter": statically correct, but untested (no proof_file); | changeset | files |
| Sat, 15 May 2021 17:38:49 +0200 | wenzelm | clarified command-line; | changeset | files |
| Sat, 15 May 2021 13:25:52 +0200 | wenzelm | clarified signature; | changeset | files |
| Sat, 15 May 2021 12:33:08 +0200 | wenzelm | clarified signature; | changeset | files |
| Sat, 15 May 2021 12:25:24 +0200 | wenzelm | clarified log content; | changeset | files |
| Fri, 14 May 2021 21:32:11 +0200 | wenzelm | reimplemented Mirabelle as Isabelle/ML presentation hook + Isabelle/Scala tool, but sledgehammer is still inactive; | changeset | files |