Diffusion Isabelle f2b98eb6a7a9

prefer new instance, following "make" signature terminology;
f2b98eb6a7a9
Actions

Tags

None

Subscribers

None

Description

prefer new instance, following "make" signature terminology;

Details

Provenance

Authored on

Parents

rISABELLE2cee31cd92f0: generic support for XZ and Zstd compression in Isabelle/Scala;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLEf2b98eb6a7a9: prefer new instance, following "make" signature terminology;.Oct 21 2022, 5:56 PM

makarius mentioned this in Blog Post: Zstd compression for Isabelle/Scala and Isabelle/ML.Oct 21 2022, 7:50 PM

Changes (1)

Path

Size

src/

Pure/

General/

rISABELLEf2b98eb6a7a9

src/Pure/General/compress.scala

Loading...