Diffusion Isabelle bc8e2fec9650

vacuum everything in the database;
bc8e2fec9650
Actions

Tags

None

Subscribers

None

Description

vacuum everything in the database;

Details

Provenance

Authored on

Parents

rISABELLEe92000492895: tuned;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLEbc8e2fec9650: vacuum everything in the database;.Mar 16 2023, 4:13 PM

Changes (1)

Path

Size

src/

Pure/

Admin/

isabelle_devel.scala

rISABELLEbc8e2fec9650

src/Pure/Admin/isabelle_devel.scala

Loading...