Diffusion Isabelle 055f44891643

avoid memory problems on test machine;
055f44891643
Actions

Tags

None

Subscribers

None

Description

avoid memory problems on test machine;

Details

Provenance

Authored on

Parents

rISABELLE6ead333e450d: more robust defaults: spurious problems with parallel invocations and…

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLE055f44891643: avoid memory problems on test machine;.Dec 23 2020, 11:20 PM

Changes (1)

Path

Size

src/

Pure/

Admin/

isabelle_cronjob.scala

rISABELLE055f44891643

src/Pure/Admin/isabelle_cronjob.scala

Loading...