| 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 |