Diffusion Isabelle f17393e21388

clarified signature: discontinue somewhat pointless SSH.Context;
f17393e21388
Actions

Tags

None

Subscribers

None

Description

clarified signature: discontinue somewhat pointless SSH.Context;

Details

Provenance

Authored on

Parents

rISABELLE44724221b45c: tuned;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLEf17393e21388: clarified signature: discontinue somewhat pointless SSH.Context;.Sep 11 2022, 10:51 PM

Changes (2)

Path

Size

src/

Pure/

Admin/

isabelle_cronjob.scala

General/

rISABELLEf17393e21388

src/Pure/Admin/isabelle_cronjob.scala

Loading...

src/Pure/General/ssh.scala

Loading...