| Sat, 22 Oct 2022 19:51:08 +0200 | wenzelm | prefer Zstd compression, notably for database exports; | file | diff | annotate |
| Fri, 21 Oct 2022 18:06:32 +0200 | wenzelm | clarified signature; | file | diff | annotate |
| Fri, 21 Oct 2022 17:56:56 +0200 | wenzelm | prefer new instance, following "make" signature terminology; | file | diff | annotate |
| Fri, 21 Oct 2022 16:39:31 +0200 | wenzelm | generic support for XZ and Zstd compression in Isabelle/Scala; | file | diff | annotate |