| Wed, 22 Sep 2010 16:16:23 +0200 | wenzelm | tuned signature; | changeset | files |
| Wed, 22 Sep 2010 16:04:20 +0200 | wenzelm | more content for Session_Dockable; | changeset | files |
| 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 |