Diffusion Isabelle f5d3ade80d15

more specific vacuum operation, which is also relevant to PostgreSQL;
f5d3ade80d15
Actions

Tags

None

Subscribers

None

Description

more specific vacuum operation, which is also relevant to PostgreSQL;

Details

Provenance

Authored on

Parents

rISABELLEc82d49a56cf9: tuned signature: removed redundant argument;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLEf5d3ade80d15: more specific vacuum operation, which is also relevant to PostgreSQL;.Mar 14 2023, 8:25 PM

Changes (3)

Path

Size

src/

Pure/

Admin/

build_log.scala

General/

Tools/

build_process.scala

rISABELLEf5d3ade80d15

src/Pure/Admin/build_log.scala

Loading...

src/Pure/General/sql.scala

Loading...

src/Pure/Tools/build_process.scala

Loading...