| Thu, 23 Sep 2010 20:34:05 +0200 | wenzelm | tuned dialog; | changeset | files |
| Thu, 23 Sep 2010 18:44:26 +0200 | wenzelm | explicit Session.Phase indication with associated event bus; | changeset | files |
| Thu, 23 Sep 2010 16:48:48 +0200 | wenzelm | tuned signature; | changeset | files |
| Thu, 23 Sep 2010 16:48:12 +0200 | wenzelm | Plugin.stop: refrain from invalidating Isabelle.session -- some actors/dockables out there might still refer to it; | changeset | files |
| Thu, 23 Sep 2010 15:36:03 +0200 | wenzelm | tuned; | changeset | files |
| Thu, 23 Sep 2010 15:21:04 +0200 | wenzelm | manage persistent syslog via Session, not Isabelle_Process; | changeset | files |
| Thu, 23 Sep 2010 14:39:29 +0200 | wenzelm | tuned prover message categorization; | changeset | files |
| Thu, 23 Sep 2010 14:26:55 +0200 | wenzelm | tuned Isabelle_Sidekick.complete: lock buffer, depend on document model; | changeset | files |