| Tue, 29 Jun 2010 21:56:31 +0200 | wenzelm | eliminated some unused bindings; | changeset | files |
| Tue, 29 Jun 2010 21:46:47 +0200 | wenzelm | recovered some indentation from the depths of time; | changeset | files |
| Tue, 29 Jun 2010 17:03:59 +0100 | Christian Urban | cleaned by using descending instead of lifting | changeset | files |
| Tue, 29 Jun 2010 11:38:51 +0200 | blanchet | merged | changeset | files |