Diffusion Isabelle 292d7a9dc8a3

proper operation on String, not Path;
292d7a9dc8a3
Actions

Tags

None

Subscribers

None

Description

proper operation on String, not Path;

Details

Provenance

Authored on

Parents

rISABELLEb3fa6c79ed3b: clarified signature: cwd can be misleading --- changes meaning of target;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLE292d7a9dc8a3: proper operation on String, not Path;.Jun 6 2022, 7:17 PM

Changes (1)

Path

Size

src/

Pure/

General/

rISABELLE292d7a9dc8a3

src/Pure/General/ssh.scala

Loading...