| Fri, 11 Dec 1998 17:16:23 +0100 | oheimb | better representation of Sigma | file | diff | annotate |
| Mon, 19 Oct 1998 15:38:28 +0200 | oheimb | added keyword 'and' | file | diff | annotate |
| Tue, 08 Sep 1998 17:03:21 +0200 | oheimb | improved spacing | file | diff | annotate |
| 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 |
| Fri, 20 Feb 1998 17:33:14 +0100 | oheimb | minor improvements | file | diff | annotate |
| Wed, 05 Nov 1997 18:31:14 +0100 | oheimb | *** empty log message *** | file | diff | annotate |
| Wed, 05 Nov 1997 15:48:24 +0100 | oheimb | various improvements | file | diff | annotate |
| Tue, 25 Jun 1996 17:44:43 +0200 | oheimb | Initial revision | file | diff | annotate |