generic support for XZ and Zstd compression in Isabelle/Scala;
support for Zstd compression in Isabelle/ML;
Description
Description
Details
Details
- Provenance
makarius Authored on - Parents
- rISABELLE978f7ca3329f: clarified signature: default cache is actually dummy and not changed…
- Branches
- Unknown
- Tags