| Wed, 22 Sep 2010 00:45:42 +0200 | wenzelm | more robust lib/scripts/process, with explicit script/no_script mode; | changeset | files |
| Wed, 22 Sep 2010 00:17:35 +0200 | wenzelm | Standard_System.with_tmp_file: deleteOnExit to make double sure; | changeset | files |
| Tue, 21 Sep 2010 22:16:22 +0200 | wenzelm | refined Isabelle_System.bash_output: pass pid via stdout, separate stdout/stderr; | changeset | files |
| Tue, 21 Sep 2010 22:08:13 +0200 | wenzelm | tuned whitespace; | changeset | files |
| Tue, 21 Sep 2010 22:01:27 +0200 | wenzelm | tuned; | changeset | files |
| Tue, 21 Sep 2010 21:53:15 +0200 | wenzelm | added Standard_System.slurp convenience; | changeset | files |
| Tue, 21 Sep 2010 21:51:26 +0200 | wenzelm | added Simple_Thread.future convenience; | changeset | files |