| Sat, 16 Jul 2011 20:52:41 +0200 | wenzelm | moved bash operations to Isabelle_System (cf. Scala version); | changeset | files |
| Sat, 16 Jul 2011 20:14:58 +0200 | wenzelm | access to process output stream via auxiliary fifo; | changeset | files |
| Sat, 16 Jul 2011 18:41:35 +0200 | wenzelm | some file and directory operations; | changeset | files |
| Sat, 16 Jul 2011 18:20:02 +0200 | wenzelm | more general bash_process, which allows to terminate background processes as well; | changeset | files |