Diffusion Isabelle 2bbc7365e8c4

clarified multicore options;
2bbc7365e8c4
Actions

Tags

None

Subscribers

None

Description

clarified multicore options;

Details

Provenance

Authored on

Parents

rISABELLE37c1fbcc88d0: discontinued old machines;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLE2bbc7365e8c4: clarified multicore options;.Oct 7 2020, 8:53 PM

Changes (1)

Path

Size

src/

Pure/

Admin/

isabelle_cronjob.scala

rISABELLE2bbc7365e8c4

src/Pure/Admin/isabelle_cronjob.scala

Loading...