Fri, 25 Jul 2008 12:03:34 +0200 | haftmann | added class preorder | changeset | files |
Fri, 25 Jul 2008 12:03:32 +0200 | haftmann | dropped locale (open) | changeset | files |
Fri, 25 Jul 2008 12:03:31 +0200 | haftmann | added explicit root theory; some tuning | changeset | files |