| Mon, 22 Feb 2021 18:16:56 +0100 | wenzelm | more direct timing from bash_process wrapper; | changeset | files |
| Mon, 22 Feb 2021 17:19:05 +0100 | wenzelm | tuned; | changeset | files |
| Mon, 22 Feb 2021 17:17:30 +0100 | wenzelm | clarified signature, following Isabelle/Scala; | changeset | files |