| Tue, 20 Nov 2007 13:55:13 +0100 | wenzelm | updated Proof General advertisement; | file | diff | annotate |
| Mon, 12 Nov 2007 23:08:12 +0100 | wenzelm | removed left-over text links from lynx conversion; | file | diff | annotate |
| Sat, 27 Oct 2007 12:48:44 +0200 | haftmann | ASCIIfied README | file | diff | annotate |
| Wed, 27 Nov 1996 13:04:04 +0100 | paulson | Updated instructions | file | diff | annotate |
| Thu, 21 Nov 1996 15:12:39 +0100 | paulson | Further comments on versions of SML/NJ | file | diff | annotate |
| Mon, 18 Nov 1996 16:26:08 +0100 | paulson | Updated and clearer(?) instructions | file | diff | annotate |
| Mon, 21 Oct 1996 11:37:21 +0200 | paulson | Mentions the possibility of pathnames in ISABELLECOMP; | file | diff | annotate |