src/Pure/General/ssh.scala
2016-10-10 wenzelm 2016-10-10 connect session by default; tuned signature;
2016-10-10 wenzelm 2016-10-10 clarified (hardwired!) default (see also jEdit/FTP);
2016-10-10 wenzelm 2016-10-10 tuned comment;
2016-10-09 wenzelm 2016-10-09 support for SSH in Isabelle/Scala;