| Wed, 22 Sep 2010 14:06:48 +0200 | wenzelm | eliminated Simple_Thread shorthands that can overlap with full version; | changeset | files |
| Wed, 22 Sep 2010 13:47:48 +0200 | wenzelm | main Isabelle_Process via Isabelle_System.Managed_Process; | changeset | files |
| Wed, 22 Sep 2010 12:52:35 +0200 | wenzelm | more robust Managed_Process.kill: check after sending signal; | changeset | files |
| Wed, 22 Sep 2010 00:45:42 +0200 | wenzelm | more robust lib/scripts/process, with explicit script/no_script mode; | changeset | files |