Wed, 22 Dec 2010 20:44:36 +0100 | haftmann | mapper is arbitrary term, not only constant; | changeset | files |
Wed, 22 Dec 2010 20:08:40 +0100 | haftmann | tuned comment | changeset | files |
Wed, 22 Dec 2010 14:44:03 +0100 | wenzelm | merged | changeset | files |