| Wed, 22 Sep 2010 00:45:42 +0200 | wenzelm | more robust lib/scripts/process, with explicit script/no_script mode; | file | diff | annotate |
| Tue, 21 Sep 2010 22:16:22 +0200 | wenzelm | refined Isabelle_System.bash_output: pass pid via stdout, separate stdout/stderr; | file | diff | annotate |
| Mon, 20 Sep 2010 23:36:26 +0200 | wenzelm | refined ML/Scala bash wrapper, based on more general lib/scripts/process; | file | diff | annotate | base |