| 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 |
| 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 |
| Mon, 20 Sep 2010 21:54:58 +0200 | wenzelm | more robust Isabelle_System.rm_fifo: avoid external bash invocation, which might not work in JVM shutdown phase (due to Runtime.addShutdownHook); | changeset | files |
| Mon, 20 Sep 2010 21:26:58 +0200 | wenzelm | tuned; | changeset | files |
| Mon, 20 Sep 2010 21:20:06 +0200 | wenzelm | added Isabelle_Process.syslog; | changeset | files |