| Tue, 04 Aug 2009 16:11:11 +0200 | wenzelm | turned object-logics into components; | changeset | files |
| Tue, 04 Aug 2009 16:09:46 +0200 | wenzelm | spelling; | changeset | files |
| Tue, 04 Aug 2009 15:59:57 +0200 | wenzelm | tuned "Bootstrapping the environment"; | changeset | files |