Tue, 13 Apr 2021 11:44:47 +0200 | wenzelm | tuned signature; | changeset | files |
Mon, 12 Apr 2021 22:57:39 +0200 | wenzelm | support for base64 via Isabelle/Scala/ML; | changeset | files |
Mon, 12 Apr 2021 22:45:38 +0200 | wenzelm | compile; | changeset | files |