| Tue, 11 Oct 2016 10:43:27 +0200 | wenzelm | proper type for Library.using; | file | diff | annotate |
| Tue, 11 Oct 2016 10:21:32 +0200 | wenzelm | support user@host syntax; | file | diff | annotate |
| Tue, 11 Oct 2016 09:32:56 +0200 | wenzelm | support for remote tmp dirs; | file | diff | annotate |
| Mon, 10 Oct 2016 22:20:00 +0200 | wenzelm | close more thoroughly; | file | diff | annotate |
| Mon, 10 Oct 2016 21:52:55 +0200 | wenzelm | provide execute operation, similar to Isabelle_System.bash; | file | diff | annotate |
| Mon, 10 Oct 2016 21:44:54 +0200 | wenzelm | proper support for exec channel (see also bash.scala); | file | diff | annotate |
| Mon, 10 Oct 2016 18:10:03 +0200 | wenzelm | proper hierarchic names; | file | diff | annotate |
| Mon, 10 Oct 2016 16:04:57 +0200 | wenzelm | more Sftp operations; | file | diff | annotate |
| Mon, 10 Oct 2016 14:45:32 +0200 | wenzelm | more specific channels; | file | diff | annotate |
| Mon, 10 Oct 2016 11:48:24 +0200 | wenzelm | clarified treatment of options; | file | diff | annotate |
| Mon, 10 Oct 2016 11:11:38 +0200 | wenzelm | support for remote command execution; | file | diff | annotate |
| Mon, 10 Oct 2016 10:42:14 +0200 | wenzelm | tuned; | file | diff | annotate |
| Mon, 10 Oct 2016 10:41:04 +0200 | wenzelm | more generous timeout default (see also jEdit/FTP); | file | diff | annotate |
| Mon, 10 Oct 2016 10:33:52 +0200 | wenzelm | connect session by default; | file | diff | annotate |
| Mon, 10 Oct 2016 10:25:59 +0200 | wenzelm | clarified (hardwired!) default (see also jEdit/FTP); | file | diff | annotate |
| Mon, 10 Oct 2016 09:57:56 +0200 | wenzelm | tuned comment; | file | diff | annotate |
| Sun, 09 Oct 2016 23:08:40 +0200 | wenzelm | support for SSH in Isabelle/Scala; | file | diff | annotate |