| Thu, 01 Sep 2011 16:58:03 +0200 | wenzelm | modernized theory name; | changeset | files |
| Thu, 01 Sep 2011 16:46:07 +0200 | wenzelm | repaired benchmarks; | changeset | files |
| Thu, 01 Sep 2011 14:35:51 +0200 | wenzelm | merged | changeset | files |
| Thu, 01 Sep 2011 14:21:09 +0200 | blanchet | tuning | changeset | files |