| Mon, 20 Jan 1997 18:29:26 +0100 | nipkow | Improved text. | file | diff | annotate |
| Fri, 17 Jan 1997 18:32:24 +0100 | nipkow | Updated documentation pointers. | file | diff | annotate |
| Tue, 21 May 1996 10:52:26 +0200 | nipkow | Corrected comment wrt I | file | diff | annotate |
| Tue, 21 May 1996 10:50:40 +0200 | nipkow | Updated url. | file | diff | annotate |
| Thu, 22 Feb 1996 18:35:16 +0100 | nipkow | Added links to documentation | file | diff | annotate |
| Sat, 18 Nov 1995 15:35:24 +0100 | nipkow | Better! | file | diff | annotate |
| Fri, 17 Nov 1995 12:08:04 +0100 | nipkow | README -> README.html | file | diff | annotate |