Diffusion Isabelle 0481c84f6919

proper local host (amending 62d7ef1da441);
0481c84f6919
Actions

Tags

None

Subscribers

None

Description

proper local host (amending 62d7ef1da441);

Details

Provenance

Authored on

Parents

rISABELLEab85d87dc2be: merged

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLE0481c84f6919: proper local host (amending 62d7ef1da441);.Thu, Nov 9, 11:30 AM

Changes (1)

Path

Size

src/

Pure/

General/

rISABELLE0481c84f6919

src/Pure/General/ssh.scala

Loading...