| Thu, 26 Apr 2007 14:24:12 +0200 | wenzelm | added header; | changeset | files |
| Thu, 26 Apr 2007 14:24:08 +0200 | wenzelm | eliminated unnamed infixes, tuned syntax; | changeset | files |
| Thu, 26 Apr 2007 13:33:17 +0200 | haftmann | clarified naming policy | changeset | files |