Diffusion Isabelle e0e9f1b4c844

less ambitious parallelism: avoid exhaustion of memory (40GB total);
e0e9f1b4c844
Actions

Tags

None

Subscribers

None

Description

less ambitious parallelism: avoid exhaustion of memory (40GB total);

Details

Provenance

Authored on

Parents

rISABELLE2ddb82044ff0: clarified GUI;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLEe0e9f1b4c844: less ambitious parallelism: avoid exhaustion of memory (40GB total);.Feb 1 2023, 8:07 PM

Changes (1)

Path

Size

src/

Pure/

Admin/

isabelle_cronjob.scala

rISABELLEe0e9f1b4c844

src/Pure/Admin/isabelle_cronjob.scala

Loading...