| Sat, 15 May 2021 22:36:36 +0200 | wenzelm | proper build of required session images vs. build with Mirabelle presentation; | changeset | files |
| 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 |