support explicit SSH port;
c635368021b6
Actions

Description

support explicit SSH port;

Details

Provenance

Authored on

Parents

Branches

Unknown

Tags

Unknown

Changes (4)

Path

Size

src/

Doc/

System/

Pure/

Admin/

General/

System/

rISABELLEc635368021b6

src/Doc/System/Misc.thy

src/Pure/Admin/sync_repos.scala

src/Pure/General/mercurial.scala

src/Pure/System/isabelle_system.scala

support explicit SSH port;c635368021b6Actions

Description

Details

Changes (4)

rISABELLEc635368021b6

src/Doc/System/Misc.thy

src/Pure/Admin/sync_repos.scala

src/Pure/General/mercurial.scala

src/Pure/System/isabelle_system.scala

support explicit SSH port;
c635368021b6
Actions