| Mon, 12 Apr 2021 22:57:39 +0200 | wenzelm | support for base64 via Isabelle/Scala/ML; | file | diff | annotate |
| Mon, 12 Apr 2021 22:26:09 +0200 | wenzelm | clarified signature; | file | diff | annotate |
| Mon, 12 Apr 2021 18:10:13 +0200 | wenzelm | clarified signature for Scala functions; | file | diff | annotate |