Diffusion Isabelle f7174238b5e3

no compression for database server: let PostgreSQL/TOAST do the job;
f7174238b5e3
Actions

Tags

None

Subscribers

None

Description

no compression for database server: let PostgreSQL/TOAST do the job;

Details

Provenance

Authored on

Parents

rISABELLE1928405a409b: prefer Zstd compression, notably for database exports;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLEf7174238b5e3: no compression for database server: let PostgreSQL/TOAST do the job;.Oct 22 2022, 8:06 PM

makarius mentioned this in rISABELLE1db732e6c3d2: back to compression in Isabelle/Scala (in contrast to f7174238b5e3), e.g..Mar 16 2023, 5:42 PM

Changes (2)

Path

Size

src/

Pure/

General/

Thy/

rISABELLEf7174238b5e3

src/Pure/General/sql.scala

Loading...

src/Pure/Thy/export.scala

Loading...