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 |