| 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 |
| Tue, 01 Sep 2009 14:09:59 +0200 | boehmes | Mirabelle: added preliminary documentation, | changeset | files |