| Tue, 16 Jun 2009 22:39:50 +0200 | wenzelm | added names, abbrevs; | changeset | files |
| Tue, 16 Jun 2009 21:45:35 +0200 | wenzelm | added completions; | changeset | files |
| Tue, 16 Jun 2009 18:47:45 +0200 | wenzelm | reorganized and abstracted version, via Set trait; | changeset | files |