| 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 |
| Thu, 23 Sep 2010 13:28:19 +0200 | wenzelm | tuned message; | changeset | files |
| Wed, 22 Sep 2010 22:39:17 +0200 | wenzelm | Command.accumulate: refrain from adding tracing messages to markup tree -- potential scalability problem; | changeset | files |