Diffusion Isabelle 531248fd8952

discontinued unused operations;
531248fd8952
Actions

Tags

None

Subscribers

None

Description

discontinued unused operations;

Details

Provenance

Authored on

Parents

rISABELLEc4dc343fdbcb: clarified signature: avoid exposure of JSch types;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLE531248fd8952: discontinued unused operations;.Sep 11 2022, 11:37 PM

Changes (1)

Path

Size

src/

Pure/

General/

rISABELLE531248fd8952

src/Pure/General/ssh.scala

Loading...