| Thu, 28 Jan 2021 14:20:37 +0100 | wenzelm | more robust type signatures, notably for the sake of haskell-stack-trace-plugin-0.1.1.1; | changeset | files |
| Wed, 27 Jan 2021 14:56:40 +0100 | wenzelm | tuned signature (e.g. see HTML.control_block in Isabelle/Scala); | changeset | files |
| Wed, 27 Jan 2021 14:34:14 +0100 | wenzelm | proper Isabelle environment (amending 31fbde3baa97); | changeset | files |