Diffusion Isabelle 39fb869160d6

clarified isabelle_hg (again, see b9d59669904a);
39fb869160d6
Actions

Tags

None

Subscribers

None

Description

clarified isabelle_hg (again, see b9d59669904a);

Details

Provenance

Authored on

Parents

rISABELLE674954a49364: clarified signature: explicit Remote_Build.count instead of duplicate entries…

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLE39fb869160d6: clarified isabelle_hg (again, see b9d59669904a);.Sun, Nov 19, 7:41 PM

Changes (1)

Path

Size

src/

Pure/

Admin/

isabelle_cronjob.scala

rISABELLE39fb869160d6

src/Pure/Admin/isabelle_cronjob.scala

Loading...