Diffusion Isabelle c3a3db450c80

support for Host.dirs;
c3a3db450c80
Actions

Tags

None

Subscribers

None

Description

support for Host.dirs;

Details

Provenance

Authored on

Parents

rISABELLE2dad5335cc57: tuned message: failure can happen towards the end, e.g. due to failed sessions…

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLEc3a3db450c80: support for Host.dirs;.Aug 25 2023, 8:35 PM

Changes (1)

Path

Size

src/

Pure/

Tools/

build_cluster.scala

rISABELLEc3a3db450c80

src/Pure/Tools/build_cluster.scala

Loading...