lib/scripts/process
2010-09-22 wenzelm 2010-09-22 more robust lib/scripts/process, with explicit script/no_script mode; added general Isabelle_System.Managed_Process, with bash_output as application; tuned;
2010-09-21 wenzelm 2010-09-21 refined Isabelle_System.bash_output: pass pid via stdout, separate stdout/stderr;
2010-09-20 wenzelm 2010-09-20 refined ML/Scala bash wrapper, based on more general lib/scripts/process;