Tue, 13 Sep 2022 09:59:08 +0200 |
wenzelm |
clarified default: do not override port from ssh_config, which could be different from 22;
|
changeset |
files
|
Tue, 13 Sep 2022 09:45:02 +0200 |
wenzelm |
proper Scala expression;
|
changeset |
files
|
Tue, 13 Sep 2022 09:38:02 +0200 |
wenzelm |
clarified signature: separate unrelated modules;
|
changeset |
files
|
Tue, 13 Sep 2022 09:24:31 +0200 |
wenzelm |
tuned;
|
changeset |
files
|
Mon, 12 Sep 2022 23:38:18 +0200 |
wenzelm |
obsolete;
|
changeset |
files
|
Mon, 12 Sep 2022 23:26:21 +0200 |
wenzelm |
obsolete;
|
changeset |
files
|
Mon, 12 Sep 2022 23:24:50 +0200 |
wenzelm |
clarified error;
|
changeset |
files
|
Mon, 12 Sep 2022 23:10:45 +0200 |
wenzelm |
merged
|
changeset |
files
|
Mon, 12 Sep 2022 23:03:57 +0200 |
wenzelm |
removed remains of proxy_host management: delegated to .ssh/config;
|
changeset |
files
|
Mon, 12 Sep 2022 22:52:15 +0200 |
wenzelm |
ssh client via regular OpenSSH tools, with authentic use of .ssh/config (notably proxy configuration);
|
changeset |
files
|
Mon, 12 Sep 2022 08:07:22 +0000 |
haftmann |
putting together related theorems
|
changeset |
files
|
Sun, 11 Sep 2022 16:21:20 +0000 |
haftmann |
dropped auxiliary lemma
|
changeset |
files
|