more robust hg_url;
clarified signature;

misc tuning, following hint by IntelliJ;

unused;

tuned;

clarified operations: uniform sorting of results;

static type for Library.using: avoid Java 11 warnings on "Illegal reflective access";
more uses of "using";

more uniform wrt. File.find_files;

proper use of stat() vs. lstat() (for symlinks);

more uniform find_files, notably for symlinks;

is_file/is_dir/read_dir: more uniform treatment of errors and boundary cases, notably for symlinks in ssh;

tuned signature;

support for permissive connections, for odd situations where host keys are not accepted;

support for proxy connection, similar to ProxyCommand in ssh config;

more robust connection: prefer ServerAliveCountMax=3 (ssh default) instead of 1 (jsch default);

tuned signature;

proper ssh.bash_path;

tuned;

clarified signature;
tuned ssh.prefix;

tuned;

ssh_close for proper termination after use of database;

clarified treatment of default port;

clarified signature;
tuned toString;

remote database access via ssh port forwarding;

support for URL notation;

extra trim_line for the sake of Windows;

prevent sporadic disconnection;

tuned signature, in accordance to Isabelle_System;

clarified modules;

removed useless operation -- would require bash_process wrapper;

tuned signature;

simplified SSH.Session: sftp channel is always open and its operations provided by the main interface;

sftp.mkdirs according to 2a5dbad75355;

clarified signature: more static types;

expand relatively to given environment, notably remote HOME;

tuned signature;

clarified signature;

tuned;

provide USER_HOME, such that symbolic Path.explode("~") can be used remotely;

tuned;

tuned signature;

proper type for Library.using;
tuned signature;

support user@host syntax;

support for remote tmp dirs;

close more thoroughly;

provide execute operation, similar to Isabelle_System.bash;

proper support for exec channel (see also bash.scala);

proper hierarchic names;

more Sftp operations;

more specific channels;
more Sftp operations;

clarified treatment of options;
more uniform channels;

support for remote command execution;
tuned;

tuned;

more generous timeout default (see also jEdit/FTP);

connect session by default;
tuned signature;

clarified (hardwired!) default (see also jEdit/FTP);

tuned comment;

support for SSH in Isabelle/Scala;