Diffusion Isabelle db99a70f8531

support hosts with shared directory (e.g. NFS);
db99a70f8531
Actions

Tags

None

Subscribers

None

Description

support hosts with shared directory (e.g. NFS);

Details

Provenance

Authored on

Parents

rISABELLEa04277e3b313: tuned message: failure may stem from build_cluster init;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLEdb99a70f8531: support hosts with shared directory (e.g. NFS);.Aug 22 2023, 1:51 PM

Changes (1)

Path

Size

src/

Pure/

Tools/

build_cluster.scala

rISABELLEdb99a70f8531

src/Pure/Tools/build_cluster.scala

Loading...