| Wed, 28 May 2008 22:54:05 +0200 | wenzelm | tuned version numbers; | file | diff | annotate |
| 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 |