Diffusion Isabelle 34be842f3531

share cache for parallel sessions;
34be842f3531
Actions

Tags

None

Subscribers

None

Description

share cache for parallel sessions;

Details

Provenance

Authored on

Parents

rISABELLE67fb92378224: clarified signature;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLE34be842f3531: share cache for parallel sessions;.Jun 20 2020, 4:18 PM

Changes (2)

Path

Size

src/

Pure/

Thy/

Tools/

rISABELLE34be842f3531

src/Pure/Thy/sessions.scala

Loading...

src/Pure/Tools/build.scala

Loading...