Diffusion Isabelle c07d10ac688d

manage other Isabelle distributions via SSH;
c07d10ac688d
Actions

Tags

None

Subscribers

None

Description

manage other Isabelle distributions via SSH;

Details

Provenance

Authored on

Parents

rISABELLE4d9f3d1e1749: more operations for SSH.System;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLEc07d10ac688d: manage other Isabelle distributions via SSH;.Jan 25 2023, 2:58 PM

Changes (1)

Path

Size

src/

Pure/

Admin/

other_isabelle.scala

rISABELLEc07d10ac688d

src/Pure/Admin/other_isabelle.scala

Loading...