| Wed, 14 Oct 1998 15:26:31 +0200 | nipkow | New many-sorted version. | file | diff | annotate |
| Tue, 30 Jan 1996 15:24:36 +0100 | clasohm | expanded tabs | file | diff | annotate |
| Wed, 22 Nov 1995 18:48:56 +0100 | nipkow | Added List_Examples | file | diff | annotate |
| Tue, 21 Nov 1995 12:43:09 +0100 | clasohm | removed make_chart; | file | diff | annotate |
| Fri, 17 Nov 1995 09:04:10 +0100 | nipkow | New directory. | file | diff | annotate |