| Sat, 30 Jan 2021 17:15:14 +0100 | wenzelm | clarified signature; | changeset | files |
| Sat, 30 Jan 2021 17:06:13 +0100 | wenzelm | tuned signature; | changeset | files |
| Sat, 30 Jan 2021 13:46:40 +0100 | wenzelm | bundle more libraries from scala-2.12.x, notably for Isabelle/MMT; | changeset | files |
| Fri, 29 Jan 2021 21:56:14 +0100 | wenzelm | provide naproche-20210129; | changeset | files |
| 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 |