Diffusion Isabelle da5cc332ded3

prefer Database_Progress, which is more robust (amending afb1a19307c4);
da5cc332ded3
Actions

Tags

None

Subscribers

None

Description

prefer Database_Progress, which is more robust (amending afb1a19307c4);

Details

Provenance

Authored on

Parents

rISABELLE54d6b2f75806: support for Database_Progress;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLEda5cc332ded3: prefer Database_Progress, which is more robust (amending afb1a19307c4);.Jun 14 2023, 4:27 PM

makarius mentioned this in rISABELLE25d448295f2b: proper pattern (amending da5cc332ded3);.Jun 17 2023, 8:38 PM

Changes (2)

Path

Size

src/

Pure/

System/

Tools/

build_process.scala

rISABELLEda5cc332ded3

src/Pure/System/progress.scala

Loading...

src/Pure/Tools/build_process.scala

Loading...