Diffusion Isabelle c4dc343fdbcb

clarified signature: avoid exposure of JSch types;
c4dc343fdbcb
Actions

Tags

None

Subscribers

None

Description

clarified signature: avoid exposure of JSch types;

Details

Provenance

Authored on

Parents

rISABELLEf17393e21388: clarified signature: discontinue somewhat pointless SSH.Context;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLEc4dc343fdbcb: clarified signature: avoid exposure of JSch types;.Sep 11 2022, 11:27 PM

Changes (1)

Path

Size

src/

Pure/

General/

rISABELLEc4dc343fdbcb

src/Pure/General/ssh.scala

Loading...