Diffusion Isabelle e8d7dc1c229c

more parallelism;
e8d7dc1c229c
Actions

Tags

None

Subscribers

None

Description

more parallelism;

Details

Provenance

Authored on

Parents

rISABELLEb2bbe2e6575d: tuned signature;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLEe8d7dc1c229c: more parallelism;.Nov 12 2020, 12:34 PM

Changes (1)

Path

Size

src/

Pure/

Admin/

build_doc.scala

rISABELLEe8d7dc1c229c

src/Pure/Admin/build_doc.scala

Loading...