Diffusion Isabelle d5344cc1fae7

avoid too many synchronized_database;
d5344cc1fae7
Actions

Tags

None

Subscribers

None

Description

avoid too many synchronized_database;

Details

Provenance

Authored on

Parents

rISABELLEa4266d54ec35: tuned output;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLEd5344cc1fae7: avoid too many synchronized_database;.Mar 13 2023, 10:08 PM

Changes (1)

Path

Size

src/

Pure/

Tools/

build_process.scala

rISABELLEd5344cc1fae7

src/Pure/Tools/build_process.scala

Loading...