Diffusion Isabelle b33a7c6b99c5

support for explicit SSH hostname;
b33a7c6b99c5
Actions

Tags

None

Subscribers

None

Description

support for explicit SSH hostname;

Details

Provenance

Authored on

Parents

rISABELLE0481c84f6919: proper local host (amending 62d7ef1da441);

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLEb33a7c6b99c5: support for explicit SSH hostname;.Thu, Nov 9, 1:31 PM

Changes (1)

Path

Size

src/

Pure/

Tools/

build_cluster.scala

rISABELLEb33a7c6b99c5

src/Pure/Tools/build_cluster.scala

Loading...