Diffusion Isabelle 35d42112301a

clarified signature: more operations;
35d42112301a
Actions

Tags

None

Subscribers

None

Description

clarified signature: more operations;

Details

Provenance

Authored on

Parents

rISABELLEb33a7c6b99c5: support for explicit SSH hostname;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLE35d42112301a: clarified signature: more operations;.Thu, Nov 9, 2:22 PM

Changes (1)

Path

Size

src/

Pure/

Tools/

build_cluster.scala

rISABELLE35d42112301a

src/Pure/Tools/build_cluster.scala

Loading...