Diffusion Isabelle dcd2c3bb4b68

synchronize progress stop/stopped with database;
dcd2c3bb4b68
Actions

Tags

None

Subscribers

None

Description

synchronize progress stop/stopped with database;

Details

Provenance

Authored on

Parents

rISABELLE50fc9143ccfa: more database content;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLEdcd2c3bb4b68: synchronize progress stop/stopped with database;.Mar 13 2023, 8:14 PM

Changes (1)

Path

Size

src/

Pure/

Tools/

build_process.scala

rISABELLEdcd2c3bb4b68

src/Pure/Tools/build_process.scala

Loading...