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