Diffusion Isabelle a15f16e8ad18

support for Zstd data compression;
a15f16e8ad18
Actions

Tags

None

Subscribers

None

Description

support for Zstd data compression;

Details

Provenance

Authored on

Parents

rISABELLEfa30620e31bf: enforce fresh build;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLEa15f16e8ad18: support for Zstd data compression;.Oct 21 2022, 11:08 AM

Changes (12)

Path

Size

Admin/

components/

components.sha1

etc/

build_zstd.scala

System/

isabelle_tool.scala

rISABELLEa15f16e8ad18

Admin/components/components.sha1

Loading...

Admin/components/main

Loading...

etc/build.props

Loading...

src/Pure/Admin/build_zstd.scala

Loading...

src/Pure/General/file.scala

Loading...

src/Pure/General/path.scala

Loading...

src/Pure/General/zstd.scala

Loading...

src/Pure/System/isabelle_tool.scala

Loading...