| Tue, 05 Mar 1996 16:27:01 +0100 | paulson | Put quotes around URLs in links | file | diff | annotate |
| Thu, 22 Feb 1996 18:25:19 +0100 | nipkow | Moved documentation | file | diff | annotate |
| Sat, 06 Jan 1996 14:02:52 +0100 | nipkow | Minor mod. | file | diff | annotate |
| Sun, 19 Nov 1995 14:16:00 +0100 | nipkow | New README.html fuile | file | diff | annotate |