| Sun, 16 May 2021 16:05:13 +0200 | wenzelm | avoid perl; | changeset | files |
| Sun, 16 May 2021 13:34:27 +0200 | wenzelm | tuned signature --- following hints by IntelliJ IDEA; | changeset | files |
| Sun, 16 May 2021 13:14:16 +0200 | wenzelm | ignore session build timeout, notably in AFP; | changeset | files |
| Sun, 16 May 2021 13:06:13 +0200 | wenzelm | check timeout_ignored as in ML, before applying timeout_scale; | changeset | files |
| Sat, 15 May 2021 22:39:07 +0200 | wenzelm | merged | changeset | files |
| 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 |