| Tue, 11 Oct 2016 09:41:07 +0200 | wenzelm | tuned signature; | changeset | files |
| Tue, 11 Oct 2016 09:37:59 +0200 | wenzelm | eliminated extra trim_line: Process_Result.out/err are based on cat_lines, without trailing newline; | changeset | files |
| Tue, 11 Oct 2016 09:32:56 +0200 | wenzelm | support for remote tmp dirs; | changeset | files |
| Mon, 10 Oct 2016 22:20:00 +0200 | wenzelm | close more thoroughly; | changeset | files |
| Mon, 10 Oct 2016 21:52:55 +0200 | wenzelm | provide execute operation, similar to Isabelle_System.bash; | changeset | files |
| Mon, 10 Oct 2016 21:44:54 +0200 | wenzelm | proper support for exec channel (see also bash.scala); | changeset | files |
| Mon, 10 Oct 2016 18:10:03 +0200 | wenzelm | proper hierarchic names; | changeset | files |