wenzelm [Tue, 11 Oct 2016 09:37:59 +0200] rev 64138
eliminated extra trim_line: Process_Result.out/err are based on cat_lines, without trailing newline;
wenzelm [Tue, 11 Oct 2016 09:32:56 +0200] rev 64137
support for remote tmp dirs;
wenzelm [Mon, 10 Oct 2016 22:20:00 +0200] rev 64136
close more thoroughly;
wenzelm [Mon, 10 Oct 2016 21:52:55 +0200] rev 64135
provide execute operation, similar to Isabelle_System.bash;
wenzelm [Mon, 10 Oct 2016 21:44:54 +0200] rev 64134
proper support for exec channel (see also bash.scala);
wenzelm [Mon, 10 Oct 2016 18:10:03 +0200] rev 64133
proper hierarchic names;
wenzelm [Mon, 10 Oct 2016 16:04:57 +0200] rev 64132
more Sftp operations;
wenzelm [Mon, 10 Oct 2016 14:45:32 +0200] rev 64131
more specific channels;
more Sftp operations;
wenzelm [Mon, 10 Oct 2016 11:48:24 +0200] rev 64130
clarified treatment of options;
more uniform channels;
wenzelm [Mon, 10 Oct 2016 11:11:38 +0200] rev 64129
support for remote command execution;
tuned;