Wed, 22 Sep 2010 16:03:57 +0200 | wenzelm | basic support for full document rendering; | changeset | files |
Wed, 22 Sep 2010 15:01:34 +0200 | wenzelm | Session_Dockable: basic syslog output; | changeset | files |
Wed, 22 Sep 2010 14:53:42 +0200 | wenzelm | just one Session.raw_messages event bus; | changeset | files |
Wed, 22 Sep 2010 14:29:13 +0200 | wenzelm | more reactive handling of Isabelle_Process startup errors; | changeset | files |
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 |