Diffusion Isabelle f6b3d0cf4147

tuned;
f6b3d0cf4147
Actions

Tags

None

Subscribers

None

Description

tuned;

Details

Provenance

Authored on

Parents

rISABELLE54318ecceec9: enable multi-builds (again, see also 0c7419d3dd59);

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLEf6b3d0cf4147: tuned;.Sun, Nov 5, 7:28 PM

Changes (1)

Path

Size

src/

Pure/

Admin/

isabelle_cronjob.scala

rISABELLEf6b3d0cf4147

src/Pure/Admin/isabelle_cronjob.scala

Loading...