| Tue, 09 Mar 2021 21:11:05 +0100 | wenzelm | proper type-setting of cartouches (requires T1); | file | diff | annotate |
| Wed, 12 May 2010 14:17:26 +0200 | wenzelm | removed obsolete CVS Ids; | file | diff | annotate |
| Sat, 03 Nov 2001 01:33:54 +0100 | wenzelm | tuned; | file | diff | annotate |
| Thu, 04 Oct 2001 14:49:10 +0200 | wenzelm | document setup; | file | diff | annotate |