| Tue, 04 Dec 2007 22:49:21 +0100 | wenzelm | replaced option -p by -W (process wrapper); | changeset | files |
| Tue, 04 Dec 2007 21:09:37 +0100 | wenzelm | \<chi> is now considered a letter; | changeset | files |
| Tue, 04 Dec 2007 13:22:55 +0100 | wenzelm | symbol chi is also a letter; | changeset | files |