Thu, 14 May 1998 16:44:04 +0200 | oheimb | simplifications | file | diff | annotate |
Tue, 01 Apr 1997 12:54:40 +0200 | wenzelm | eliminated references to old 8bit fonts; | file | diff | annotate |
Fri, 13 Dec 1996 18:32:07 +0100 | oheimb | minor adaptions | file | diff | annotate |
Fri, 16 Aug 1996 11:27:10 +0200 | oheimb | Minor improvements of the scripts | file | diff | annotate |
Fri, 12 Jul 1996 20:41:24 +0200 | oheimb | minor bug fix | file | diff | annotate |
Tue, 25 Jun 1996 17:44:43 +0200 | oheimb | Initial revision | file | diff | annotate |