| 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 |
| Mon, 20 Sep 2010 19:00:47 +0200 | wenzelm | updated keywords; | changeset | files |