| Tue, 08 Sep 1998 17:03:21 +0200 | oheimb | improved spacing | file | diff | annotate |
| Fri, 03 Apr 1998 09:54:48 +0200 | oheimb | improved \tt appearance of many ASCII special symbols like # | file | diff | annotate |
| Wed, 05 Nov 1997 15:45:51 +0100 | oheimb | several minor improvements | file | diff | annotate |
| Tue, 25 Jun 1996 17:44:43 +0200 | oheimb | Initial revision | file | diff | annotate |