Diffusion Isabelle 27f2a6bd5616

proper SSH operations;
27f2a6bd5616
Actions

Tags

None

Subscribers

None

Description

proper SSH operations;

Details

Provenance

Authored on

Parents

rISABELLEc43a51fde4f5: tuned signature: more permissive;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLE27f2a6bd5616: proper SSH operations;.Mar 27 2024, 1:17 PM

Changes (1)

Path

Size

src/

Pure/

System/

setup_tool.scala

rISABELLE27f2a6bd5616

src/Pure/System/setup_tool.scala

Loading...