| Tue, 01 Sep 2009 14:12:18 +0200 | haftmann | tuned | changeset | files |
| Mon, 24 Aug 2009 08:31:41 +0200 | haftmann | avoid long line | changeset | files |
| Tue, 01 Sep 2009 19:48:11 +0200 | nipkow | added txt to blacklist | changeset | files |
| Tue, 01 Sep 2009 21:03:04 +0200 | wenzelm | Isabelle_Process: receiver as Actor, not EventBus; | changeset | files |
| Tue, 01 Sep 2009 15:21:22 +0200 | boehmes | merged | changeset | files |
| Tue, 01 Sep 2009 15:20:21 +0200 | boehmes | Mirabelle: actions are responsible for their log messages, output is better readable | changeset | files |
| Tue, 01 Sep 2009 14:57:03 +0200 | wenzelm | merged | changeset | files |
| Tue, 01 Sep 2009 14:10:38 +0200 | boehmes | merged | changeset | files |