Diffusion Isabelle ee8c014526dc

avoid duplicate data;
ee8c014526dc
Actions

Tags

None

Subscribers

None

Description

avoid duplicate data;

Details

Provenance

Authored on

Parents

rISABELLE3fb4dbffca79: output more data;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLEee8c014526dc: avoid duplicate data;.Sat, Nov 18, 7:31 PM

makarius mentioned this in rISABELLE674954a49364: clarified signature: explicit Remote_Build.count instead of duplicate entries….Sun, Nov 19, 7:46 PM

Changes (1)

Path

Size

src/

Pure/

Admin/

build_status.scala

rISABELLEee8c014526dc

src/Pure/Admin/build_status.scala

Loading...