| 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 |
| Thu, 13 May 2021 15:52:10 +0200 | wenzelm | tuned; | changeset | files |
| Thu, 13 May 2021 15:38:52 +0200 | wenzelm | unused; | changeset | files |
| Wed, 12 May 2021 17:17:46 +0200 | wenzelm | unused (see 8ffc607c345d); | changeset | files |
| Wed, 12 May 2021 16:47:52 +0200 | wenzelm | clarified signature: provide access to previous state; | changeset | files |
| Wed, 12 May 2021 14:55:51 +0200 | wenzelm | clarified signature (see Scala version); | changeset | files |