Fri, 24 Apr 1998 16:15:34 +0200 | oheimb | added ASCII translation of subseteq | 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 |