| Mon, 07 Mar 2005 19:17:07 +0100 | webertj | HTML 4.01 Transitional conformity | file | diff | annotate |
| Sun, 14 Nov 2004 01:40:27 +0100 | webertj | DOCTYPE declaration added | file | diff | annotate |
| Tue, 10 Nov 1998 16:28:08 +0100 | mueller | tiny changes; | file | diff | annotate |
| Tue, 10 Nov 1998 16:27:04 +0100 | mueller | changed to a link; | file | diff | annotate |
| Mon, 13 Jul 1998 17:46:20 +0200 | nipkow | Corrected dead link. | file | diff | annotate |
| Wed, 21 May 1997 17:13:00 +0200 | wenzelm | tuned all READMEs; | file | diff | annotate |
| Wed, 30 Apr 1997 11:20:15 +0200 | mueller | New meta theory for IOA based on HOLCF. | file | diff | annotate |