Tue, 21 Sep 2010 21:51:26 +0200 | wenzelm | added Simple_Thread.future convenience; | changeset | files |
Mon, 20 Sep 2010 23:36:26 +0200 | wenzelm | refined ML/Scala bash wrapper, based on more general lib/scripts/process; | changeset | files |
Mon, 20 Sep 2010 23:28:35 +0200 | wenzelm | tuned; | changeset | files |