Diffusion Isabelle c5003c5c72c8

more Java heap space (see 2d658beb815b);
c5003c5c72c8
Actions

Tags

None

Subscribers

None

Description

more Java heap space (see 2d658beb815b);

Details

Provenance

Authored on

Parents

rISABELLE80d7f004089d: clarified NEWS;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLEc5003c5c72c8: more Java heap space (see 2d658beb815b);.Jun 24 2020, 11:16 AM

Changes (1)

Path

Size

src/

Pure/

Admin/

isabelle_cronjob.scala

rISABELLEc5003c5c72c8

src/Pure/Admin/isabelle_cronjob.scala

Loading...