| 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 |
| Wed, 22 Sep 2010 22:25:21 +0200 | wenzelm | Snapshot.convert/revert: explicit error report to isolate sporadic crash; | changeset | files |
| Wed, 22 Sep 2010 22:15:36 +0200 | wenzelm | make compiler doubly sure; | changeset | files |
| Wed, 22 Sep 2010 22:14:25 +0200 | wenzelm | isabelle-process: less verbose no-commit mode; | changeset | files |
| Wed, 22 Sep 2010 21:21:04 +0200 | wenzelm | tuned message; | changeset | files |