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